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