anchor.diff:  		     ((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)
  +		     (t (multiple-value-bind (new-form expanded-p) (sys.int::macroexpand-1 x env)
   			  (if expanded-p
   			      (estimate-code-size-1 new-form env)
   			      (f 3))))))))
  
positive.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) (macroexpand-1 x env)
  			 (if expanded-p (estimate-code-size-1 new-form env) 1)))
  	  ((atom x) 1)				;??? self-evaluating???
  	  ((symbolp (car x))
  
negative.code: 				   (and (consp x)
  					(or (not (eq (car x) 'car))
  					    (not (symbolp (cadr x)))
  					    (not (symbolp (setq x (sys.int::macroexpand x env)))))
  					(cons x nil)))
  			       (cdr val))
  		       `(,val))))
  