protected void WriteNode(BlockPrinter p, string name, RNode n, bool indent)
{
if(n != null) {
p.NewLine();
p.Write(name+":");
if(indent) p.BeginBlock();
p.NewLine();
p.Write(n);
if(indent) p.EndBlock();
}
}
