static <A> void pnlIndent(Collection<A> l) {
  print_noNewLine(indentx(numberedLines(l)));
}