static ItIt<Int> countDownIterator_exclusive(int a, int b) {
  ret new ItIt<Int> {
    int i = a;
    
    public bool hasNext() { ret i > b; }
    public Int next() { ret i--; }
  };
}