pub const riscv_insn_RISCV_INS_SLT: riscv_insn = 252;