pub const mips_insn_MIPS_INS_TGEU: mips_insn = 600;