anchor.diff:      `(let ((,result (- ,(first inputs) ,(second inputs))))
          (cond ((typep result 'fixnum)
   	      (setq ,(first outputs) ,result)
  -	      (go ,(gethash (first successors) *tags*)))
  +	      (go ,(first successors)))
   	     ((plusp ,result)
   	      (setq ,(first outputs)
   		    (+ ,result (* 2 most-negative-fixnum)))
  -	      (go ,(gethash (second successors) *tags*)))
  +	      (go ,(second successors)))
   	     (t
   	      (setq ,(first outputs)
   		    (- ,result (* 2 most-negative-fixnum)))
  -	      (go ,(gethash (second successors) *tags*)))))))
  +	      (go ,(second successors)))))))
   
   (defmethod translate-branch-instruction
       ((instruction cleavir-ir:fixnum-less-instruction) inputs outputs successors)
     (declare (ignore outputs))
     `(if (< ,(first inputs) ,(second inputs))
  -       (go ,(gethash (first successors) *tags*))
  -       (go ,(gethash (second successors) *tags*))))
  +       (go ,(first successors))
  +       (go ,(second successors))))
   
   (defmethod translate-branch-instruction
       ((instruction cleavir-ir: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*))))
  +       (go ,(first successors))
  +       (go ,(second successors))))
   
   (defmethod translate-branch-instruction
       ((instruction cleavir-ir:fixnum-equal-instruction) inputs outputs successors)
     (declare (ignore outputs))
     `(if (= ,(first inputs) ,(second inputs))
  -       (go ,(gethash (first successors) *tags*))
  -       (go ,(gethash (second successors) *tags*))))
  +       (go ,(first successors))
  +       (go ,(second successors))))
  +
  +(defmethod translate-branch-instruction
  +    ((instruction cleavir-ir:return-instruction) inputs outputs successors)
  +  (declare (ignore successors))
  +  `(return (apply #'values ,(first inputs))))
   
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   ;;;
  
positive.code:     ((instruction cleavir-ir:multiple-to-fixed-instruction) inputs outputs)
    (let ((temp (gensym)))
      `(let ((,temp ,(first inputs)))
         ,@(loop for output in outputs
  	       collect `(setf ,output (pop ,temp))))))
    
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  ;;; Methods on TRANSLATE-BRANCH-INSTRUCTION.
  
negative.code: 
  (defgeneric translate-branch-instruction (instruction inputs outputs successors))
  
  (defvar *basic-blocks*)
  (defvar *ownerships*)
  (defvar *tags*)
  (defvar *vars*)
  