pub unsafe extern "C" fn Hacl_Streaming_Keccak_copy(
s0: *mut Hacl_Streaming_Keccak_state,
) -> *mut Hacl_Streaming_Keccak_state
pub unsafe extern "C" fn Hacl_Streaming_Keccak_copy(
s0: *mut Hacl_Streaming_Keccak_state,
) -> *mut Hacl_Streaming_Keccak_state