anchor.diff:  //------------------------------------------------------------------------- 
   
   // Mark some variables (the ones we introduce via abstractBigTargets) as don't-eliminate 
  -let suffixForVariablesThatMayNotBeEliminated = "$cont"
  +let [<Literal>] suffixForVariablesThatMayNotBeEliminated = "$cont"
   
   /// Type applications of F# "type functions" may cause side effects, e.g. 
   /// let x<'a> = printfn "hello"; typeof<'a> 
  
positive.code: // What we know about the world 
  //------------------------------------------------------------------------- 
  
  let jitOptDefault = true
  let localOptDefault = true
  let crossModuleOptDefault = true
  
  type OptimizationSettings = 
      { abstractBigTargets : bool;
  
negative.code: // Size constants and combinators
  //------------------------------------------------------------------------- 
  
  let [<Literal>] localVarSize = 1
  
  let rec AddTotalSizesAux acc l = match l with [] -> acc | h::t -> AddTotalSizesAux (h.TotalSize + acc) t
  let AddTotalSizes l = AddTotalSizesAux 0 l
  