curtime 589 src/dps8/hdbg.c time_t curtime; curtime 590 src/dps8/hdbg.c time (& curtime); curtime 591 src/dps8/hdbg.c (void)fprintf (hdbgOut, "%s\r\n", ctime (& curtime));