hacl_sys::poly1305
pub unsafe extern "C" fn Hacl_Poly1305_64_mk_state( r: *mut u64, acc: *mut u64) -> Hacl_Impl_Poly1305_64_State_poly1305_state