/src/tools/miri/tests/extern-so/fail/
../
function_not_in_so.rs
function_not_in_so.stderr