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: (defmethod translate-simple-instruction
      ((instruction cleavir-ir:enclose-instruction) inputs outputs)
    (declare (ignore inputs))
    `(setq ,(first outputs)
  	 ,(layout-procedure (cleavir-ir:code instruction))))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-ir:assignment-instruction) inputs outputs)
    `(setq ,(first outputs) ,(first inputs)))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-ir:return-instruction) inputs outputs)
    `(return (apply #'values ,(first inputs))))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-ir:funcall-instruction) inputs outputs)
  
negative.code: (defmethod translate-branch-instruction
      ((instruction cleavir-ir:eq-instruction) inputs outputs successors)
    `(if (eq ,(first inputs) ,(second inputs))
         (go ,(first successors))
         (go ,(second successors))))
  
  (defmethod translate-branch-instruction
      ((instruction cleavir-ir:typeq-instruction) inputs outputs successors)
    `(if (typep ,(first inputs) ',(cleavir-ir:value-type instruction))
         (go ,(first successors))
         (go ,(second successors))))
  
  (defmethod translate-branch-instruction
      ((instruction cleavir-ir:fixnum-add-instruction) inputs outputs successors)
  