anchor.diff:  
   ;; fixed position of required-args in generic-function
   (defconstant slot-location-generic-function-name 					0)
  -(defconstant slot-location-generic-function-lambda-list 			1)
  -(defconstant slot-location-generic-function-required-args 			2)
  -(defconstant slot-location-generic-function-methods 				3)
  -(defconstant slot-location-generic-function-method-class 			4)
  -(defconstant slot-location-generic-function-discriminating-function 5)
  -(defconstant slot-location-generic-function-classes-to-emf-table 	6)
  -(defconstant slot-location-generic-function-method-combination  	7)
  -(defconstant slot-location-generic-function-method-combination-order 8)
  +(defconstant slot-location-generic-function-documentation 			1)
  +(defconstant slot-location-generic-function-lambda-list 			2)
  +(defconstant slot-location-generic-function-required-args 			3)
  +(defconstant slot-location-generic-function-methods 				4)
  +(defconstant slot-location-generic-function-method-class 			5)
  +(defconstant slot-location-generic-function-discriminating-function 6)
  +(defconstant slot-location-generic-function-classes-to-emf-table 	7)
  +(defconstant slot-location-generic-function-method-combination  	8)
  +(defconstant slot-location-generic-function-method-combination-order 9)
   
   ;;;
   ;;; Utilities 
  
positive.code: ;;;
  
  (defmethod print-object ((method standard-method) stream)
    (print-unreadable-object (method stream :identity t)
       (format stream "~:(~S~) ~S~{ ~S~} ~S"
                      (class-name (class-of method))
                      (generic-function-name
                        (method-generic-function method))
                      (method-qualifiers method)
                      (mapcar #'(lambda (x) (if (eql-specializer-p x) `(eql ,(class-name x)) (class-name x))) 
                              (method-specializers method))))
    method)
  
  (defmethod initialize-instance :after ((method standard-method) &key)
    (setf (method-function method) (compute-method-function method)))
  
negative.code: ;;; Class precedence lists
  
  (defgeneric compute-class-precedence-list (class))
  (defmethod compute-class-precedence-list ((class specializer))
    (std-compute-class-precedence-list class))
  
  ;;; Slot inheritance
  