pub const mips_insn_MIPS_INS_EXT: mips_insn = 250;