hacl_sys::poly1305
pub unsafe extern "C" fn Hacl_Poly1305_64_finish( st: Hacl_Impl_Poly1305_64_State_poly1305_state, mac: *mut u8, k1: *mut u8)