static PtBuffer ptBuffer(Iterable<Pt> l) {
  ret new PtBuffer(l);
}