pub const mips_insn_MIPS_INS_SEL: mips_insn = 520;