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