static long totalLength(Collection<? extends Collection> l) {
  long n = 0;
  if (l != null) for (Collection c : l)
    n += l(c);
  ret n;
}