private static void ExtractText(CComment obj, StringBuilder target) { /* nothing */ }
private static void Write(CComment obj) { Console.Write("/* {0} */", obj.Text); }