pub unsafe extern "C" fn EverCrypt_Hash_update_multi2( s: *mut EverCrypt_Hash_state_s, prevlen: u64, blocks: *mut u8, len: u32, )