anchor.diff:      p_ranges (x.ValReprInfo |> Option.map (fun _ -> x.val_range, x.DefinitionRange)) st
       
       let isStructThisArgPos = x.IsMember && checkForInRefStructThisArg st x.Type
  -    st.isStructThisArgPos <- isStructThisArgPos
  -    p_ty x.val_type st
  -    st.isStructThisArgPos <- false
  +    p_ty2 isStructThisArgPos x.val_type st
   
       p_int64 x.val_flags.PickledBits st
       p_option p_member_info x.MemberInfo st
  
positive.code:         match key.TypeForLinkage with 
          | None -> false
          | Some ty -> checkForInRefStructThisArg st ty
      st.isStructThisArgPos <- isStructThisArgPos
      p_option p_ty key.TypeForLinkage st
      st.isStructThisArgPos <- false
  
  let rec p_vref ctxt x st = 
      match x with 
  
negative.code:     onlerefs: Table<int * int[]> 
      osimpletys: Table<int>
      oglobals : TcGlobals
      ofile : string
      /// Indicates if we are using in-memory format, where we store XML docs as well
      oInMem : bool
  