saved_do_echo    3562 src/simh/scp.c int32 saved_do_echo = sim_do_echo;
saved_do_echo    3583 src/simh/scp.c         sim_do_echo = saved_do_echo;                    /* restore echo mode */
saved_do_echo    3589 src/simh/scp.c sim_do_echo = saved_do_echo;                       /* restore echo mode         */