pub const riscv_insn_RISCV_INS_AMOMAX_D_AQ_RL: riscv_insn = 31;