anchor.diff:  	   remove-code
   	     #'((x)
   			  (opt-peephole-fun (#'remove-code :collect-symbols t)
  -				((and (%setq? a)
  -				      (removable-place? (%setq-place a))
  -					  (or (and (not (~%ret? (%setq-place a)))
  -							   (integer= 1 (opt-peephole-count (%setq-place a))))
  -					      (not (opt-peephole-will-be-used-again? d (%setq-place a)))))
  +				((assignment-to-unused-place a d)
   				   (if (atomic-or-without-side-effects? (%setq-value a))
   			  		   (opt-peephole-uncollect-syms a
   						   (remove-code d))
  
positive.code:  				   (eq v (funinfo-lexical fi))
  	    	       (funinfo-lexical? fi v)))))))
  
  (defun opt-peephole (statements)
    (with
  	  (fnord nil
  
negative.code: 	   remove-assignments
  	     #'((x)
  			  (opt-peephole-fun (#'remove-assignments :collect-symbols t)
  			    ((assignment-to-unneccessary-temoporary? a d)
  				   (let plc (%setq-place a)
  				     (opt-peephole-uncollect-syms plc
  						   (opt-peephole-uncollect-syms plc
  							   (cons `(%setq ,(%setq-place d.) ,(%setq-value a))
  								     (remove-assignments .d))))))))
  
  	   reduce-tags
  		 #'((x)
  			  (opt-peephole-fun (#'reduce-tags)
      		    ((two-subsequent-tags? a d)
  				   (awhen (member (fn eq a ._) removed-tags)
  					 (rplacd ! .x.))
  				   (acons! a .x. removed-tags)
  