static <A, B> ItIt<B> mapI_nonNulls_if1(Iterable<A> i, IF1<A, B> f) {
  ret mapI_nonNulls_if1(f, i);
}

static <A, B> ItIt<B> mapI_nonNulls_if1(IF1<A, B> f, Iterable<A> i) {
  ret i == null ? null : mapI_nonNulls_if1(f, i.iterator());
}

static <A, B> ItIt<B> mapI_nonNulls_if1(IF1<A, B> f, Iterator<A> i) {
  if (i == null) null;
  class I extends ItIt<B> {
    B a;
    bool done;
    
    public bool hasNext() {
      getNext();
      ret !done;
    }
    
    public B next() {
      getNext();
      if (done) fail();
      B _a = a;
      a = null;
      ret _a;
    }
    
    void getNext() {
      if (done || a != null) ret;
      while ping (true) {
        if (!i.hasNext())
          ret with done = true;
        B _a = f.get(i.next());
        if (_a != null)
          ret with a = _a;
      }
    }
  };
  ret new I;
}