anchor.diff:  //--------------------------------------------------------------------------
   
   and GenForLoop cenv cgbuf eenv (spFor, v, e1, dir, e2, loopBody, m) sequel =
  -    let eenv = SetInLoop true eenv
  +    let eenv = SetIsInLoop true eenv
       let g = cenv.g
   
       // The JIT/NGen eliminate array-bounds checks for C# loops of form:
  
positive.code:         let storage = StorageForVal cenv.g m vspec eenv
          match storage, rhsExpr with
          // locals are zero-init, no need to initialize them, except if you are in a loop and the local is mutable.
          | Local (_, realloc, _), Expr.Const (Const.Zero, _, _) when not realloc && not (eenv.inLoop && vspec.IsMutable) ->
              CommitStartScope cgbuf startScopeMarkOpt
          | _ ->
              GenBindingRhs cenv cgbuf eenv SPSuppress vspec rhsExpr
  
negative.code:     let innerVals = entryPointInfo |> List.map (fun (v, kind) -> (v, (kind, start)))
  
      (* Call the given code generator *)
      codeGenFunction cgbuf {eenv with withinSEH=false
                                       liveLocals=IntMap.empty()
                                       innerVals = innerVals}
  
      let locals, maxStack, lab2pc, code, exnSpecs, hasSequencePoints = cgbuf.Close()
  
  