pub const mips_insn_MIPS_INS_SHF: mips_insn = 525;