Constant CPU_NB_REGS64 

pub const CPU_NB_REGS64: u32 = 16;