pub const RISCV_REG_F12_64: Type = 58;