/src/tools/miri/tests/extern-so/pass/