/* ISC license. */ #include #include void tai_pack_little (char *s, tai const *t) { uint64_pack(s, tai_sec(t)) ; }