anchor.diff:  	     (dolist (x l n) (incf n (estimate-code-size-1 x env))))))
       ;;@@@@ ???? (declare (function list-size (list) fixnum))
       (cond ((constantp x #+Genera env) 1)
  -	  ((symbolp x) (multiple-value-bind (new-form expanded-p) (macroexpand-1 x env)
  +	  ((symbolp x) (multiple-value-bind (new-form expanded-p) (sys.int::macroexpand-1 x env)
   			 (if expanded-p (estimate-code-size-1 new-form env) 1)))
   	  ((atom x) 1)				;??? self-evaluating???
   	  ((symbolp (car x))
  
positive.code: 		     ((eq fn 'return-from) (1+ (estimate-code-size-1 (third x) env)))
  		     ((or (special-operator-p fn) (member fn *estimate-code-size-punt*))
  		      (throw 'estimate-code-size nil))
  		     (t (multiple-value-bind (new-form expanded-p) (macroexpand-1 x env)
  			  (if expanded-p
  			      (estimate-code-size-1 new-form env)
  			      (f 3))))))))
  
negative.code:   (declare
      #+LISPM (ignore head-var user-head-var)	;use locatives, unconditionally update through the tail.
      )
    (setq form (sys.int::macroexpand form env))
    (flet ((cdr-wrap (form n)
  	   (declare (fixnum n))
  	   (do () ((<= n 4) (setq form `(,(case n
  