Searching in libcorkscrew/arch-mips