using System;
using System.Collections.Generic;
using System.IO;
using System.Xml;
using Xex = System.Xml.Xexpression;

public class Test
{
  public static void Main(params string[] args)
  {
    Xex.TraceDepth = 10;
    Xex.Domain domain = new Xex.Domain ("test", null);
    Xex.Term[] terms = Xex.Parse (domain, "xex.xml");

    if (args.Length >= 2 && args[0] == "-d")
      Xex.TraceDepth = int.Parse (args[1]);
    foreach (Xex.Term term in terms)
      Console.WriteLine (term);
    Console.WriteLine (Xex.Eval (domain, terms));
  }
}