internal override void Write(TextWriter output) { output.Write("counter("); Counter.Write(output); if (Style != null) { output.Write(','); Style.Write(output); } output.Write(')'); }