UNIX_secs        1234 src/dps8/dps8_scu.c         uint64 UNIX_secs = (uint64)time(NULL);
UNIX_secs        1237 src/dps8/dps8_scu.c         uint64 UNIX_usecs = UNIX_secs * 1000000llu + big.l;
UNIX_secs        1239 src/dps8/dps8_scu.c         uint64 UNIX_usecs = UNIX_secs * 1000000llu + (uint64) big;
UNIX_secs        1277 src/dps8/dps8_scu.c     uint64 UNIX_secs  = (uint64) now.tv_sec;
UNIX_secs        1278 src/dps8/dps8_scu.c     uint64 UNIX_usecs = UNIX_secs * 1000000LL + (uint64) now.tv_usec;