anchor.diff:  	    type-specs)))))
   
   
  -
   (deftype-method translate-type-spec system-area-pointer (type-spec)
     (declare (ignore type-spec))
     'system-area-pointer)
   
  -(deftype-method
  -    translate-to-alien system-area-pointer (type-spec sap &optional copy)
  +(deftype-method size-of system-area-pointer (type-spec)
  +  (declare (ignore type-spec))
  +  +size-of-sap+)
  +
  +(deftype-method translate-to-alien system-area-pointer
  +    (type-spec sap &optional copy)
     (declare (ignore type-spec copy))
     sap)
   
  -(deftype-method
  -  translate-from-alien system-area-pointer (type-spec sap &optional alloc)
  +(deftype-method translate-from-alien system-area-pointer
  +    (type-spec sap &optional alloc)
     (declare (ignore type-spec alloc))
     sap)
   
  
positive.code:      list)))
  
  (deftype-method translate-type-spec flags (type-spec)
    (destructuring-bind (name &rest args) (type-expand-to 'flags type-spec)
      (declare (ignore name))
      (if (integerp (first args))
  	`(signed ,(first args))
        '(signed 32))))
  
  (deftype-method translate-to-alien flags (type-spec expr &optional copy)
    (declare (ignore copy))
  
negative.code: 	  (1+ (length string))))
      `(make-pointer (1+ (kernel:get-lisp-obj-address ,string)))))
  
  (deftype-method translate-from-alien string
      (type-spec sap &optional (alloc :copy))
    (declare (ignore type-spec))
    `(let ((sap ,sap))
       (unless (null-pointer-p sap)
  