Type Alias EverCrypt_Helpers_uint64_t 

pub type EverCrypt_Helpers_uint64_t = u64;