pub const mips_insn_MIPS_INS_MAXI_U: mips_insn = 400;