saved_debug_filename 1416 src/simh/sim_console.c char saved_debug_filename[CBUFSIZE];
saved_debug_filename 1426 src/simh/sim_console.c strcpy (saved_debug_filename, sim_logfile_name (sim_deb, sim_deb_ref));
saved_debug_filename 1431 src/simh/sim_console.c sim_set_debon (0, saved_debug_filename);