pub const riscv_reg_RISCV_REG_F25_32: riscv_reg = 83;