Type Alias EverCrypt_Helpers_uint8_p 

pub type EverCrypt_Helpers_uint8_p = *mut u8;