pub unsafe extern "C" fn Hacl_Hash_SHA1_copy(
state: *mut Hacl_Streaming_MD_state_32,
) -> *mut Hacl_Streaming_MD_state_32pub unsafe extern "C" fn Hacl_Hash_SHA1_copy(
state: *mut Hacl_Streaming_MD_state_32,
) -> *mut Hacl_Streaming_MD_state_32