anchor.diff:  				   (and (consp x)
   					(or (not (eq (car x) 'car))
   					    (not (symbolp (cadr x)))
  -					    (not (symbolp (setq x (macroexpand x env)))))
  +					    (not (symbolp (setq x (sys.int::macroexpand x env)))))
   					(cons x nil)))
   			       (cdr val))
   		       `(,val))))
  
positive.code:   (declare
      #+LISPM (ignore head-var user-head-var)	;use locatives, unconditionally update through the tail.
      )
    (setq form (macroexpand form env))
    (flet ((cdr-wrap (form n)
  	   (declare (fixnum n))
  	   (do () ((<= n 4) (setq form `(,(case n
  
negative.code: 	     (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) (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))
  