static void printNumbered(L<S> l) {
  printNumberedLines(l);
}