pub const riscv_insn_group_RISCV_GRP_HASSTDEXTM: riscv_insn_group = 134;