public virtual void visit(HsInt node) { Console.WriteLine("Visiting {0}", node.ToString()); }
public virtual void visit(HsInt node) { }