anchor.diff:  
           /// the data array
           member this.HostArray = 
  -            if disposed then failwith "CudaRegMemHnd is disposed"
  +            checkDisposed ()
               hostArray
           member internal this.HostArrayPriv = hostArray
   
           /// GC memory pin handle
           member this.PinHnd = 
  -            if disposed then failwith "CudaRegMemHnd is disposed"
  +            checkDisposed ()
               pinHnd
           member internal this.PinHndPriv = pinHnd
   
  
positive.code: 
          /// the CudaRegisteredHostMemory
          member this.CudaRegisteredMemory = 
              if disposed then failwith "CudaRegMemHnd is disposed"
              cudaMem
          member internal this.CudaRegisteredMemoryPriv = cudaMem
  
  
negative.code:                         cudaMem:    CudaRegisteredHostMemory<byte>) =
             
          let mutable disposed = false
          let checkDisposed () =
              if disposed then raise (ObjectDisposedException "CudaRegMemHnd")
  
          interface IDisposable with
              member this.Dispose() =          
  