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