pub unsafe extern "C" fn EverCrypt_Hash_Incremental_hash_len(
    a: Spec_Hash_Definitions_hash_alg
) -> u32