static ItIt<Int> countBackwardsTo1(int a) {
  ret countDownIterator_exclusive(a, 0);
}