saved_deb_basetime 1415 src/simh/sim_console.c struct timespec saved_deb_basetime = sim_deb_basetime;
saved_deb_basetime 1432 src/simh/sim_console.c sim_deb_basetime = saved_deb_basetime;