anchor.diff:  
   /// Generate letrec bindings
   and GenLetRecBindings cenv (cgbuf: CodeGenBuffer) eenv (allBinds: Bindings, m) =
  -    let eenv = SetInLoop true eenv
  +    let eenv = SetIsInLoop true eenv
       // Fix up recursion for non-toplevel recursive bindings
       let bindsPossiblyRequiringFixup =
           allBinds |> List.filter (fun b ->
  
positive.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()
  
  
negative.code: //--------------------------------------------------------------------------
  
  and GenWhileLoop cenv cgbuf eenv (spWhile, e1, e2, m) sequel =
      let eenv = SetIsInLoop true eenv
      let finish = CG.GenerateDelayMark cgbuf "while_finish"
      let startTest = CG.GenerateMark cgbuf "startTest"
  
  