pub unsafe extern "C" fn Hacl_Streaming_Poly1305_256_free( s: *mut Hacl_Streaming_Poly1305_256_poly1305_256_state, )