+ if (deprecated_annotate_stopped_hook)
+ deprecated_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 ();
+ }
+}
+
+void
+annotate_exited (int exitstatus)
+{
+ if (deprecated_annotate_exited_hook)
+ deprecated_annotate_exited_hook ();
+ else
+ {
+ if (annotation_level > 1)
+ printf_filtered ("\n\032\032exited %d\n", exitstatus);
+ }
+}
+
+void
+annotate_signalled (void)
+{
+ if (deprecated_annotate_signalled_hook)
+ deprecated_annotate_signalled_hook ();
+