saved_deb_basetime 1394 src/simh/sim_console.c struct timespec saved_deb_basetime = sim_deb_basetime;
saved_deb_basetime 1411 src/simh/sim_console.c sim_deb_basetime = saved_deb_basetime;