static void printNumbered_flushed(L<S> l) {
  int digits = l(str(l(l));
  for i over l: {
    print(padLeft(str(i + 1), digits) + ". " + l.get(i));
  }
}