Type Alias EverCrypt_Helpers_uint8_t 

pub type EverCrypt_Helpers_uint8_t = u8;