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