pub const mips_insn_MIPS_INS_BADDU: mips_insn = 43;