protected abstract void ToXok(XokNode node);
protected override void ToXok(XokNode node) { this.writer.WriteLine("xok {0}", node.FunctionName.Value); }