pub const mips_insn_MIPS_INS_MFC2: mips_insn = 407;