anchor.diff:  (defclass notinline-declaration-entry (inline-or-notinline-declaration-entry)
     ())
   
  -(defun make-notinline-declaration-entry (location-entry)
  +(defun make-notinline-declaration-entry (base-entry)
     (make-instance 'notinline-declaration-entry
  -		 :location (location location-entry)))
  +		 :base-entry base-entry))
   
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   ;;;
  
positive.code: 	   (cddr declaration-specifier)))
      (special
       (mapc #'proclaim-special
  	   (cdr declaration-specifier)))
      ;; FIXME: handle more proclamations
      ))
  
negative.code: 	   :key #'name
  	   :test #'eq))
  
  (defun proclaim-inline (name)
    (let ((base-entry (find name (functions *global-environment*)
  			  :key #'name)))
      ;; If there is not an base entry for the function, then create
      ;; one.
      (when (null base-entry)
        (setf base-entry (make-global-function-entry name))
        (push base-entry (functions *global-environment*)))
      ;; Next, check whether there is already an INLINE or a NOTINLINE
      ;; proclamation.
      (let ((aux-entry (find-if
  		      (lambda (entry)
  			(and (or (typep entry 'inline-declaration-entry)
  				 (typep entry 'notinline-declaration-entry))
  			     (eq (base-entry entry) base-entry)))
  		      (proclamations *global-environment*))))
        (cond ((null aux-entry)
  	     (push (make-inline-declaration-entry base-entry)
  		   (proclamations *global-environment*)))
  	    ((typep aux-entry 'notinline-declaration-entry)
  	     (change-class aux-entry 'inline-declaration-entry))
  	    (t
  	     nil)))))
    
  (defun proclaim-notinline (name)
    (let ((base-entry (find name (functions *global-environment*)
  			  :key #'name)))
      ;; If there is not an base entry for the function, then create
      ;; one.
      (when (null base-entry)
        (setf base-entry (make-global-function-entry name))
        (push base-entry (functions *global-environment*)))
      ;; Next, check whether there is already an INLINE or a NOTINLINE
      ;; proclamation.
      (let ((aux-entry (find-if
  		      (lambda (entry)
  			(and (or (typep entry 'inline-declaration-entry)
  				 (typep entry 'notinline-declaration-entry))
  			     (eq (base-entry entry) base-entry)))
  		      (proclamations *global-environment*))))
        (cond ((null aux-entry)
  	     (push (make-notinline-declaration-entry base-entry)
  		   (proclamations *global-environment*)))
  	    ((typep aux-entry 'inline-declaration-entry)
  	     (change-class aux-entry 'notinline-declaration-entry))
  	    (t
  	     nil)))))
    
  (defun proclaim (declaration-specifier)
    (case (car declaration-specifier)
      (declaration
  