saved_do_echo    3787 src/simh/scp.c int32 saved_do_echo = sim_do_echo;
saved_do_echo    3808 src/simh/scp.c         sim_do_echo = saved_do_echo;                    /* restore echo mode */
saved_do_echo    3814 src/simh/scp.c sim_do_echo = saved_do_echo;                       /* restore echo mode         */