saved_deb_switches 1415 src/simh/sim_console.c int32 saved_deb_switches = sim_deb_switches; saved_deb_switches 1431 src/simh/sim_console.c sim_switches = saved_deb_switches;