anchor.diff:  (defun opt-peephole-count (x)
     (or (href *opt-peephole-symbols* x) 0))
   
  +(defvar *opt-peephole-body* nil)
  +
   (defun opt-peephole-rec (a d val fun name collect-symbols &optional (setq? nil))
     (with (plc (when (%setq? a)
   			   (%setq-place a))
   		 body (lambda-body val))
  -	(with-temporary *opt-peephole-funinfo* (get-lambda-funinfo val)
  -	  (with-temporary *opt-peephole-symbols* (? collect-symbols
  -									            (opt-peephole-collect-syms body)
  -										        *opt-peephole-symbols*)
  -        (let f (copy-lambda val :name name :body (funcall fun body))
  -	      (cons (? setq?
  -				   `(%setq ,plc ,f)
  -				   f)
  -		        (funcall fun d)))))))
  +	(with-temporary *opt-peephole-body* body
  +	  (with-temporary *opt-peephole-funinfo* (get-lambda-funinfo val)
  +	    (with-temporary *opt-peephole-symbols* (? collect-symbols
  +									              (opt-peephole-collect-syms body)
  +										          *opt-peephole-symbols*)
  +          (let f (copy-lambda val :name name :body (funcall fun body))
  +	        (cons (? setq?
  +				     `(%setq ,plc ,f)
  +				     f)
  +		          (funcall fun d))))))))
   
   (defmacro opt-peephole-fun ((fun &key (collect-symbols nil)) &rest body)
     `(when x
  
positive.code: (defun two-subsequent-tags? (a d)
    (and a (atom a)
         d. (atom d.)))
  
  (defun opt-peephole (statements)
    (with
  
negative.code: 				                 .!
  					             x))
  					   (funcall
  						 (compose ;#'remove-vm-go-nil-heads
                                    #'reduce-tags
  								  #'opt-peephole-remove-spare-tags
  								  #'remove-code
  								  #'remove-assignments
  