pub const mips_insn_MIPS_INS_SDL: mips_insn = 513;