static int[] intRangeLengths(Cl<IntRange> l) {
  int n = l(l);
  int[] a = new int[n];
  Iterator<IntRange> it = iterator(l);
  for i to n: a[i] = it.next().length();
  ret a;
}