Type Alias EverCrypt_Helpers_uint64_p 

pub type EverCrypt_Helpers_uint64_p = *mut u64;