gdbsim_mourn_inferior () {
gdbsim_mourn_inferior (void) {
gdbsim_mourn_inferior () {   if (sr_get_debug ())    printf_filtered ("gdbsim_mourn_inferior:\n");  remove_breakpoints ();  generic_mourn_inferior ();}