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-sub-instruction) inputs outputs successors)
    (let ((result (gensym)))
      `(let ((,result (- ,(first inputs) ,(second inputs))))
         (cond ((typep result 'fixnum)
  
negative.code: 	     (let ((tag (gethash instruction *tags*)))
  	       (when (null tag)
  		 (setf (gethash instruction *tags*) (gensym))
  		 (let ((inputs (loop for i in (cleavir-ir:inputs instruction)
  				     collect (translate-datum i)))
  		       (outputs (loop for o in (cleavir-ir:outputs instruction)
  				      collect (translate-datum o))))
  		   (ecase (length (cleavir-ir:successors instruction))
  		     (0
  		      (list (translate-simple-instruction
  			     instruction inputs outputs)))
  		     (1
  		      (let* ((succ (first (cleavir-ir:successors instruction)))
  			     (preds (cleavir-ir:predecessors succ)))
  			(if (eq (gethash instruction *ownerships*)
  				(gethash succ *ownerships*))
  			    (if (gethash succ *tags*)
  