pub const riscv_insn_group_RISCV_GRP_HASSTDEXTA: riscv_insn_group = 130;