public static string GetUniqueLabel(ILabelSymbol label) { var lbl = label.Name; if (!RequiresUniqueName(lbl)) { return(label.Name); } var firstTime = false; lbl += string.Format("_{0}", CCodeWriterBase.GetId(label, out firstTime)); return(lbl); }