static ItIt<Int> countIterator_inclusive(final int a, final int b) {
  ret countIterator_exclusive(a, b+1);
}