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

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