saved_do_echo    3799 src/simh/scp.c int32 saved_do_echo = sim_do_echo;
saved_do_echo    3820 src/simh/scp.c         sim_do_echo = saved_do_echo;                    /* restore echo mode */
saved_do_echo    3826 src/simh/scp.c sim_do_echo = saved_do_echo;                       /* restore echo mode         */