void WriteCommaIfNecessary() { if (next_needs_comma) { buffer.Append (','); next_needs_comma = false; } }