pub const mips_insn_MIPS_INS_PAUSE: mips_insn = 475;