anchor.diff:  				   `(go (gethash succ *tags*))
   				   (layout succ)))))
   		     (2
  -		      (let ((successors (cleavir-mir:successors instruction)))
  +		      (let ((successors (cleavir-ir:successors instruction)))
   			(destructuring-bind (true false) successors
   			  (let ((tt (layout true))
   				(ff (layout false)))
  
positive.code: 	      (go ,(gethash (second successors) *tags*)))))))
  
  (defmethod translate-branch-instruction
      ((instruction cleavir-mir:fixnum-less-instruction) inputs outputs successors)
    (declare (ignore outputs))
    `(if (< ,(first inputs) ,(second inputs))
         (go ,(gethash (first successors) *tags*))
         (go ,(gethash (second successors) *tags*))))
  
  (defmethod translate-branch-instruction
      ((instruction cleavir-mir:fixnum-not-greater-instruction) inputs outputs successors)
    (declare (ignore outputs))
    `(if (<= ,(first inputs) ,(second inputs))
         (go ,(gethash (first successors) *tags*))
         (go ,(gethash (second successors) *tags*))))
  
  (defmethod translate-branch-instruction
      ((instruction cleavir-mir:fixnum-equal-instruction) inputs outputs successors)
    (declare (ignore outputs))
    `(if (= ,(first inputs) ,(second inputs))
         (go ,(gethash (first successors) *tags*))
  
negative.code: 					  (list (gethash false *tags*))
  					  ff))))))))))))
      `(lambda ,(translate-lambda-list
  	       (cleavir-ir:lambda-list initial-instruction))
         (block nil
  	 (let ,(loop for var being each hash-key of *ownerships*
  		     using (hash-value owner)
  		     when (and (typep var 'cleavir-ir:lexical-location)
  			       (eq owner initial-instruction)
  			       (not (member var (cleavir-ir:outputs
  						 initial-instruction))))
  		       collect (translate-datum var))
  	   (tagbody 
  	      ,@(layout (first (cleavir-ir:successors initial-instruction)))))))))
  
  (defun translate (initial-instruction)
    (let* ((enter-inst
  	   (cleavir-ir:make-enter-instruction '() initial-instruction))
  	 (*ownerships* (cleavir-lexical-depth:compute-ownerships enter-inst))
  	 (*tags* (make-hash-table :test #'eq))
  	 (*vars* (make-hash-table :test #'eq)))
  