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));