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