static void printNumberedLines(L l) {
  int i = 0;
  for (O o : l) print((++i) + ". " + o);
}