if (annotate_starting_hook) annotate_starting_hook ();
if (deprecated_annotate_starting_hook) deprecated_annotate_starting_hook ();
annotate_starting (void){  if (annotate_starting_hook)    annotate_starting_hook ();  else    {      if (annotation_level > 1)	{	  printf_filtered ("\n\032\032starting\n");	}    }}