pub const riscv_reg_RISCV_REG_F11_64: riscv_reg = 56;