pub unsafe extern "C" fn Hacl_Streaming_Keccak_hash_len( s: *mut Hacl_Streaming_Keccak_state, ) -> u32