static int maxStringLength(Collection<S> l) {
  int n = 0;
  if (l != null) for (S s : l)
    n = max(n, l(s));
  ret n;
}