/* ISC license. */ #include #include #include #include "djbtime-internal.h" int tai_from_utc (tai_t *t, uint64 u) { if (leapsecs_add(&u, 0) < 0) return 0 ; u += 10 ; t->x = u ; return 1 ; }