Type Alias EverCrypt_Helpers_uint32_t 

pub type EverCrypt_Helpers_uint32_t = u32;