saved_debug_filename 1417 src/simh/sim_console.c char saved_debug_filename[CBUFSIZE];
saved_debug_filename 1427 src/simh/sim_console.c strcpy (saved_debug_filename, sim_logfile_name (sim_deb, sim_deb_ref));
saved_debug_filename 1432 src/simh/sim_console.c sim_set_debon (0, saved_debug_filename);