Searching in src/tools/miri/tests/fail/function_pointers