mips_pseudo.txt