static int[] intRangeLengths(L<IntRange> l) {
  int n = l(l);
  int[] a = new int[n];
  for i to n: a[i] = l.get(i).length();
  ret a;
}