pub const riscv_insn_RISCV_INS_SRAI: riscv_insn = 257;