curtime 567 src/dps8/hdbg.c time_t curtime; curtime 568 src/dps8/hdbg.c time (& curtime); curtime 569 src/dps8/hdbg.c fprintf (hdbgOut, "%s\n", ctime (& curtime));