Searching in test cases/osx/7 bitcode