if (annotate_stopped_hook) annotate_stopped_hook ();
if (deprecated_annotate_stopped_hook) deprecated_annotate_stopped_hook ();
annotate_stopped (void){  if (annotate_stopped_hook)    annotate_stopped_hook ();  else    {      if (annotation_level > 1)	printf_filtered ("\n\032\032stopped\n");    }  if (annotation_level > 1 && ignore_count_changed)    {      ignore_count_changed = 0;      breakpoints_changed ();    }}