pub unsafe extern "C" fn EverCrypt_Hash_update2( s: *mut EverCrypt_Hash_state_s, prevlen: u64, block: *mut u8, )