pub unsafe extern "C" fn EverCrypt_Hash_copy(
s_src: *mut EverCrypt_Hash_state_s,
s_dst: *mut EverCrypt_Hash_state_s,
)pub unsafe extern "C" fn EverCrypt_Hash_copy(
s_src: *mut EverCrypt_Hash_state_s,
s_dst: *mut EverCrypt_Hash_state_s,
)