pub const mips_insn_MIPS_INS_SEH: mips_insn = 517;