ctime             569 src/dps8/hdbg.c   fprintf (hdbgOut, "%s\n", ctime (& curtime));
ctime            1314 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            1380 src/simh/sim_console.c     fprintf (sim_deb, "Debug output to \"%s\" at %s", sim_logfile_name (sim_deb, sim_deb_ref), ctime(&now));
ctime             529 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             533 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             536 src/simh/sim_timer.c         fprintf (st, "  Catchup Base Time:         %8.8s.%03d\n", 11+ctime(&time_t_now), (int)(now.tv_nsec/1000000));