pub unsafe extern "C" fn EverCrypt_DRBG_create( a: Spec_Hash_Definitions_hash_alg, ) -> *mut EverCrypt_DRBG_state_s