/* ISC license. */

#include <errno.h>
#include <skalibs/uint64.h>
#include <skalibs/tai.h>
#include <skalibs/djbtime.h>
#include "djbtime-internal.h"

int utc_from_tai (uint64 *u, tai_t const *t)
{
  uint64 tt = t->x - 10 ;
  if (t->x < 10U) return (errno = EINVAL, 0) ;
  leapsecs_sub(&tt) ;
  *u = tt ;
  return 1 ;
}