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