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