gdbsim_close (quitting) int quitting;
gdbsim_close (int quitting)
gdbsim_close (quitting)     int quitting;{  if (sr_get_debug ())    printf_filtered ("gdbsim_close: quitting %d\n", quitting);  program_loaded = 0;  sim_close (quitting);}