anchor.diff:      onlerefs: Table<int * int[]> 
       osimpletys: Table<int>
       oglobals : TcGlobals
  -    mutable isStructThisArgPos : bool
       ofile : string
       /// Indicates if we are using in-memory format, where we store XML docs as well
       oInMem : bool
  
positive.code:     p_lazy_impl p x.Value st
  
  let p_hole () = 
      let h = ref (None : 'T pickler option)
      (fun f -> h := Some f),(fun x st -> match !h with Some f -> f x st | None -> pfailwith st "p_hole: unfilled hole")
  
  let u_array_core f n st =
      let res = Array.zeroCreate n
  
negative.code: 
  let u_tyar_specs = (u_list u_tyar_spec)
  
  let _ = fill_p_ty2 (fun isStructThisArgPos ty st ->
      let ty = stripTyparEqns ty
  
      // See comment on 'checkForInRefStructThisArg'
      let ty = 
          if isInByrefTy st.oglobals ty && isStructThisArgPos then 
              // Convert the inref to a byref 
              mkByrefTy st.oglobals (destByrefTy st.oglobals ty) 
          else
              ty
  
      match ty with 
      | TType_tuple (tupInfo,l) -> 
            if evalTupInfoIsStruct tupInfo then 
  