pub const mips_insn_MIPS_INS_BGEC: mips_insn = 80;