saved_do_echo    3989 src/simh/scp.c int32 saved_do_echo = sim_do_echo;
saved_do_echo    4010 src/simh/scp.c         sim_do_echo = saved_do_echo;                    /* restore echo mode */
saved_do_echo    4016 src/simh/scp.c sim_do_echo = saved_do_echo;                       /* restore echo mode         */