pub unsafe extern "C" fn EverCrypt_Poly1305_poly1305( dst: *mut u8, src: *mut u8, len: u32, key: *mut u8, )