curtime 584 src/dps8/hdbg.c time_t curtime; curtime 585 src/dps8/hdbg.c time (& curtime); curtime 586 src/dps8/hdbg.c (void)fprintf (hdbgOut, "%s\n", ctime (& curtime));