static IterableIterator<Int> iota1(int n) {
  ret iota(n);
}