Searching in third_party/SPIRV-Tools