if (annotate_exited_hook) annotate_exited_hook ();
if (deprecated_annotate_exited_hook) deprecated_annotate_exited_hook ();
annotate_exited (int exitstatus){  if (annotate_exited_hook)    annotate_exited_hook ();  else    {      if (annotation_level > 1)	printf_filtered ("\n\032\032exited %d\n", exitstatus);    }}