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