saved_debug_filename 1418 src/simh/sim_console.c char saved_debug_filename[CBUFSIZE];
saved_debug_filename 1428 src/simh/sim_console.c strcpy (saved_debug_filename, sim_logfile_name (sim_deb, sim_deb_ref));
saved_debug_filename 1433 src/simh/sim_console.c sim_set_debon (0, saved_debug_filename);