saved_do_echo    3988 src/simh/scp.c int32 saved_do_echo = sim_do_echo;
saved_do_echo    4009 src/simh/scp.c         sim_do_echo = saved_do_echo;                    /* restore echo mode */
saved_do_echo    4015 src/simh/scp.c sim_do_echo = saved_do_echo;                       /* restore echo mode         */