pub const riscv_insn_RISCV_INS_SLTI: riscv_insn = 253;