Searching in third_party/fiat/asm