anchor.diff:      addr <- addr+2
       res
   
  -let seekReadTaggedIdx f nbits big mdv (addr: byref<int>) =  
  +let inline seekReadTaggedIdx f nbits big mdv (addr: byref<int>) =  
       let tok = if big then seekReadInt32Adv mdv &addr else seekReadUInt16AsInt32Adv mdv &addr 
       tokToTaggedIdx f nbits tok
   
  -
   let seekReadIdx big mdv (addr: byref<int>) =  
       if big then seekReadInt32Adv mdv &addr else seekReadUInt16AsInt32Adv mdv &addr
   
   let seekReadUntaggedIdx (tab: TableName) (ctxt: ILMetadataReader) mdv (addr: byref<int>) =  
       seekReadIdx ctxt.tableBigness.[tab.Index] mdv &addr
  -
   
   let seekReadResolutionScopeIdx (ctxt: ILMetadataReader) mdv (addr: byref<int>) = seekReadTaggedIdx mkResolutionScopeTag 2 ctxt.rsBigness mdv &addr
   let seekReadTypeDefOrRefOrSpecIdx (ctxt: ILMetadataReader) mdv (addr: byref<int>) = seekReadTaggedIdx mkTypeDefOrRefOrSpecTag 2 ctxt.tdorBigness mdv &addr   
  
positive.code:     securityDeclsReader_MethodDef: ILSecurityDeclsStored
      securityDeclsReader_Assembly: ILSecurityDeclsStored
      typeDefReader: ILTypeDefStored }
     
  
  let seekReadUInt16Adv mdv (addr: byref<int>) =  
      let res = seekReadUInt16 mdv addr
  
negative.code: 
  and customAttrsReader ctxtH tag: ILAttributesStored = 
      mkILCustomAttrsReader
          (fun idx -> 
              let (ctxt: ILMetadataReader) = getHole ctxtH
              let mdv = ctxt.mdfile.GetView()
              let reader =
                  { new ISeekReadIndexedRowReader<CustomAttributeRow, TaggedIndex<HasCustomAttributeTag>, ILAttribute> with
                      member _.GetRow(i, row) = seekReadCustomAttributeRow ctxt mdv i &row
                      member _.GetKey(attrRow) = attrRow.parentIndex
                      member _.CompareKey(key) = hcaCompare (TaggedIndex(tag, idx)) key
                      member _.ConvertRow(attrRow) = seekReadCustomAttr ctxt (attrRow.typeIndex, attrRow.valueIndex)
                  }
              seekReadIndexedRowsByInterface (ctxt.getNumRows TableNames.CustomAttribute) (isSorted ctxt TableNames.CustomAttribute) reader)
  
  and seekReadCustomAttr ctxt (TaggedIndex(cat, idx), b) = 
      ctxt.seekReadCustomAttr (CustomAttrIdx (cat, idx, b))
  