Type Alias EverCrypt_Helpers_uint32_p 

pub type EverCrypt_Helpers_uint32_p = *mut u32;