Type Alias EverCrypt_Helpers_uint16_p 

pub type EverCrypt_Helpers_uint16_p = *mut u16;