static IterableIterator emptyIterableIterator_instance = new IterableIterator {
  public O next() { fail(); }
  public bool hasNext() { false; }
};

static <A> IterableIterator<A> emptyIterableIterator() {
  ret emptyIterableIterator_instance; 
}