static IIteratorMonitor dummyIteratorMonitor() {
  ret new IIteratorMonitor {
    public <A> Iterator<A> monitorIterator(S description, Cl<A> l) {
      ret iterator(l);
    }
  };
}