saved_debug_filename 1395 src/simh/sim_console.c char saved_debug_filename[CBUFSIZE];
saved_debug_filename 1405 src/simh/sim_console.c strcpy (saved_debug_filename, sim_logfile_name (sim_deb, sim_deb_ref));
saved_debug_filename 1410 src/simh/sim_console.c sim_set_debon (0, saved_debug_filename);