anchor.diff:  
   (defmethod finalize-inheritance ((class funcallable-standard-class))
     (finalize-inheritance-aux class))
  -
  -(defmethod finalize-inheritance ((class built-in-class))
  -  (setf (c-precedence-list class) (compute-class-precedence-list class))
  -  (setf (c-finalized-p class) t))
  
positive.code: (defgeneric compute-effective-slot-definition
      (class name direct-slot-definitions))
  
  ;;; Implement the behavior of compute-effective-slot-definition
  ;;; for standard-class and funcallable-standard-class.
  (defun compute-effective-slot-definition-aux
      (class name direct-slot-definitions)
    (let (allocation initargs initform initfunction type location)
      (setf allocation
  	  (slot-definition-allocation (first direct-slot-definitions)))
  
negative.code: 	      initfunction (slot-definition-initfunction first-init))))
      (setf type
  	  `(and ,@(mapcar #'slot-definition-type direct-slot-definitions)))
      (if (null initfunction)
  	(make-instance slot-definition-class
  	  :name name
  	  :allocation allocation
  	  :location location 
  	  :initargs initargs
  	  :type type)
  	(make-instance slot-definition-class
  	  :name name
  	  :allocation allocation
  	  :location location 
  	  :initargs initargs
  	  :initform initform
  	  :initfunction initfunction
  	  :type type))))
  
  (defmethod compute-effective-slot-definition ((class standard-class)
  					      name
  