anchor.diff:      `(let ((,result (+ ,(first inputs) ,(second inputs))))
          (cond ((typep result 'fixnum)
   	      (setq ,(first outputs) ,result)
  -	      (go ,(first successors)))
  +	      (go ,(gethash (first successors) *tags*)))
   	     ((plusp ,result)
   	      (setq ,(first outputs)
   		    (+ ,result (* 2 most-negative-fixnum)))
  -	      (go ,(second successors)))
  +	      (go ,(gethash (second successors) *tags*)))
   	     (t
   	      (setq ,(first outputs)
   		    (- ,result (* 2 most-negative-fixnum)))
  -	      (go ,(second successors)))))))
  +	      (go ,(gethash (second successors) *tags*)))))))
   
   (defmethod translate-branch-instruction
       ((instruction cleavir-mir:fixnum-sub-instruction) inputs outputs successors)
  
positive.code: (defmethod translate-branch-instruction
      ((instruction cleavir-mir:eq-instruction) inputs outputs successors)
    `(if (eq ,(first inputs) ,(second inputs))
         (go ,(first successors))
         (go ,(second successors))))
  
  (defmethod translate-branch-instruction
      ((instruction cleavir-mir:typeq-instruction) inputs outputs successors)
    `(if (typep ,(first inputs) ',(cleavir-mir:value-type instruction))
         (go ,(first successors))
         (go ,(second successors))))
  
  (defmethod translate-branch-instruction
      ((instruction cleavir-mir:fixnum-add-instruction) inputs outputs successors)
  
negative.code:     ((instruction cleavir-mir:funcall-instruction) inputs outputs)
    (let ((temps (loop for output in outputs collect (gensym))))
      `(multiple-value-bind ,temps (funcall ,(first inputs) ,@(rest inputs))
         (setq ,@(loop for out in outputs
  		     for temp in temps
  		     collect out
  		     collect temp)))))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:tailcall-instruction) inputs outputs)
  