public static String preorderPrint(Tree T, Position v) {
    String s = v.element().toString(); // elements must implement toString
    Iterator children = T.children(v);
    while (children.hasNext())
      s += " " + preorderPrint(T, (Position) children.next());
    return s;
  }