Symbol: symbol__annotate_fprintf2