import json

import atheris

with atheris.instrument_imports():
    import os
    import sys
    import json


def TestOneInput(data: str):
    json.loads(data)


atheris.Setup(sys.argv, TestOneInput)
atheris.Fuzz()

ImportError: dlopen(/Users/xxx/miniforge3/envs/xxx/lib/python3.11/site-packages/atheris/core_with_libfuzzer.cpython-311-darwin.so, 0x0002): symbol not found in flat namespace '__ZNSt3__122__libcpp_verbose_abortEPKcz'