pub unsafe extern "C" fn EverCrypt_Hash_Incremental_init(
s: *mut Hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____,
)pub unsafe extern "C" fn EverCrypt_Hash_Incremental_init(
s: *mut Hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____,
)