static <A> int lengthLevel2_strings(Iterable<S> l) {
  int sum = 0;
  fOr (S s : l) sum += l(s);
  ret sum;
}