labath wrote: We should also add a test case for the new API. You can just take an existing test case with some synthetic values (e.g. `TestFormattersSBAPI.py`), add some Get(Non)SyntheticValue calls, and make sure they do what they should. https://github.com/llvm/llvm-project/pull/95959