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