pub type PUINT64 = *mut u64;