public void Write(int n, TextWriter tw) { tw.Write(new string('\t', n)); tw.Write(identifier); tw.Write(" : "); value.Write(tw, n); }