Searching in src/tools/miri/tests/pass/function_calls