if (annotate_signal_hook) annotate_signal_hook ();
if (deprecated_annotate_signal_hook) deprecated_annotate_signal_hook ();
annotate_signal (void){  if (annotate_signal_hook)    annotate_signal_hook ();  if (annotation_level > 1)    printf_filtered ("\n\032\032signal\n");}