static L<PTElement> ptElement_pathFromRoot(PTElement e) {
  new L<PTElement> l;
  while (e != null) {
    l.add(e);
    e = e.parent;
  }
  reverseInPlace(l);
  ret l;
}