srecord noeq ForEach_vstack<A>(Iterable<A> l, IVF1<A> body) extends VStackComputableWithStep {
  Iterator<A> it;
  
  void step(VStack stack) {
    if (step == 0) {
      if (l == null) ret with stack.ret();
      it = iterator(l);
      ++step;
    }
    
    if (!it.hasNext())
      ret with stack.ret();
    
    body.get(it.next());
  }
}