UNIX_secs        1217 src/dps8/dps8_scu.c         uint64 UNIX_secs = (uint64)time(NULL);
UNIX_secs        1220 src/dps8/dps8_scu.c         uint64 UNIX_usecs = UNIX_secs * 1000000llu + big.l;
UNIX_secs        1222 src/dps8/dps8_scu.c         uint64 UNIX_usecs = UNIX_secs * 1000000llu + (uint64) big;
UNIX_secs        1265 src/dps8/dps8_scu.c     uint64 UNIX_secs  = (uint64) now.tv_sec;
UNIX_secs        1266 src/dps8/dps8_scu.c     uint64 UNIX_usecs = UNIX_secs * 1000000LL + (uint64) now.tv_usec;