saved_sim_switches 1392 src/simh/sim_console.c int32 saved_sim_switches = sim_switches; saved_sim_switches 1412 src/simh/sim_console.c sim_switches = saved_sim_switches;