recover the correct mips code