anchor.diff:    (is (cl-cuda::type-of-variable-reference '(float4-w x) type-env) 'float))
   
   
  +;;;
   ;;; test utilities
  -
  -(is (cl-cuda::cl-cuda-symbolicate 'a) 'cl-cuda::a)
  +;;;
  +
  +;; test cl-cuda-symbolicate
  +(is (cl-cuda::cl-cuda-symbolicate 'a   ) 'cl-cuda::a )
   (is (cl-cuda::cl-cuda-symbolicate 'a 'b) 'cl-cuda::ab)
   
   
  
positive.code:     (cu-device-get device dev-id)
      (format t "CUDA device handle: ~A~%" (cffi:mem-ref device 'cu-device))))
  
  
  ;;; test cuDeviceGetCount
  (diag "test cuDeviceGetCount")
  (cffi:with-foreign-object (count :int)
    (cu-device-get-count count)
    (format t "CUDA device count: ~A~%" (cffi:mem-ref count :int)))
  
  
  ;;; test cuDeviceComputeCapability
  (diag "test cuDeviceComputeCapability")
  (let ((dev-id 0))
    (cffi:with-foreign-objects ((major :int)
  
negative.code:         (cu-memcpy-host-to-device (cffi:mem-ref dptr 'cu-device-ptr) hptr size)
          (cu-memcpy-device-to-host hptr (cffi:mem-ref dptr 'cu-device-ptr) size)))))
  
  ;; test cuModuleLoad
  (diag "test cuModuleLoad")
  (let ((dev-id 0))
    (cffi:with-foreign-string (fname "/Developer/GPU Computing/C/src/vectorAddDrv/data/vectorAdd_kernel.ptx")
  