anchor.diff:          osimpletys=Table<_>.Create "osimpletys"  
           oglobals=g
           ofile=file
  -        oInMem=inMem }
  +        oInMem=inMem
  +        isStructThisArgPos = false}
       p x st1
       let sizes = 
         st1.otycons.Size,
  
positive.code: 
  let _ = fill_p_ty (fun ty st ->
      let ty = stripTyparEqns ty
      match ty with 
      | TType_tuple (tupInfo,l) -> 
            if evalTupInfoIsStruct tupInfo then 
  
negative.code:               p_byte 0 st; p_tys l st
      | TType_app(ERefNonLocal nleref,[]) -> p_byte 1 st; p_simpletyp nleref st
      | TType_app (tc,tinst)              -> p_byte 2 st; p_tup2 (p_tcref "typ") p_tys (tc,tinst) st
      | TType_fun (d,r)                   -> 
          p_byte 3 st
          p_ty d st
          st.isStructThisArgPos <- false
          p_ty r st
      | TType_var r                       -> p_byte 4 st; p_tpref r st
      | TType_forall (tps,r)              -> p_byte 5 st; p_tup2 p_tyar_specs p_ty (tps,r) st
      | TType_measure unt                 -> p_byte 6 st; p_measure_expr unt st
  