anchor.diff:  		   (function (long-float integer) long-float))
   	    scale-float))
   
  -
  +(proclaim '(ftype (function (function t) function)
  +	    (setf fdefinition)))
  +
  +(proclaim '(ftype (function (symbol &optional generalized-boolean t))
  +	    find-class))
  +
  +(proclaim '(ftype (or
  +		   (function (null) (eql t))
  +		   (function ((not null)) null))
  +	    null))
  
positive.code: (proclaim '(ftype (function (t t) cons)
  	    cons))
  
  (proclaim '(ftype general-predicate
  	    consp))
  
  (proclaim '(ftype (function (t) (function ()))
  
negative.code: (proclaim '(ftype (function (cell-error) t)
  	    cell-error-name))
  
  (proclaim '(ftype (function ((or string function) &rest list) nil)
  	    cerror))
  
  (proclaim '(ftype (function (t (or symbol class) &key &allow-other-keys) t)
  