ctime             586 src/dps8/hdbg.c   (void)fprintf (hdbgOut, "%s\n", ctime (& curtime));
ctime            1332 src/simh/sim_console.c fprintf (sim_log, "Logging to file \"%s\" at %s", sim_logfile_name (sim_log, sim_log_ref), ctime(&now));
ctime            1402 src/simh/sim_console.c              sim_logfile_name (sim_deb, sim_deb_ref), ctime(&now));
ctime             562 src/simh/sim_timer.c     fprintf (st, "  Wall Clock Time Now:       %8.8s.%03d\n", 11+ctime(&time_t_now), (int)(now.tv_nsec/1000000));
ctime             566 src/simh/sim_timer.c         fprintf (st, "  Catchup Tick Time:         %8.8s.%03d\n", 11+ctime(&time_t_now), (int)(now.tv_nsec/1000000));
ctime             569 src/simh/sim_timer.c         fprintf (st, "  Catchup Base Time:         %8.8s.%03d\n", 11+ctime(&time_t_now), (int)(now.tv_nsec/1000000));