static void pnlIndent(Collection<S> l) {
  print(indentx(numberedLines(l)));
}