Type Alias EverCrypt_CTR_e_alg 

pub type EverCrypt_CTR_e_alg = *mut c_void;