pub unsafe extern "C" fn Hacl_HMAC_DRBG_create_in( a: Spec_Hash_Definitions_hash_alg, ) -> Hacl_HMAC_DRBG_state