private static void WritePunctuation(ISymbolWriter writer, SyntaxKind kind) { writer.WritePunctuation(TokenToString(kind)); }