saved_sim_do_echo 3032 src/simh/scp.c int32 saved_sim_do_echo = sim_do_echo,
saved_sim_do_echo 3216 src/simh/scp.c     sim_do_echo = saved_sim_do_echo;                    /* restore echo state we entered with */