UNIX_secs        1226 src/dps8/dps8_scu.c         uint64 UNIX_secs = (uint64)time(NULL);
UNIX_secs        1229 src/dps8/dps8_scu.c         uint64 UNIX_usecs = UNIX_secs * 1000000llu + big.l;
UNIX_secs        1231 src/dps8/dps8_scu.c         uint64 UNIX_usecs = UNIX_secs * 1000000llu + (uint64) big;
UNIX_secs        1274 src/dps8/dps8_scu.c     uint64 UNIX_secs  = (uint64) now.tv_sec;
UNIX_secs        1275 src/dps8/dps8_scu.c     uint64 UNIX_usecs = UNIX_secs * 1000000LL + (uint64) now.tv_usec;