hacl_sys::aead_poly1305
pub unsafe extern "C" fn AEAD_Poly1305_64_pad_last( st: Hacl_Impl_Poly1305_64_State_poly1305_state, input: *mut u8, len1: u32)