pub const riscv_insn_group_RISCV_GRP_HASSTDEXTD: riscv_insn_group = 132;