pub unsafe extern "C" fn Hacl_Streaming_Keccak_malloc(
    a: Spec_Hash_Definitions_hash_alg
) -> *mut Hacl_Streaming_Keccak_state