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