anchor.diff:  					,@(rest inputs)))))))
   
   (defmethod translate-simple-instruction
  -    ((instruction cleavir-ir:multiple-value-call-instruction) inputs outputs)
  +    ((instruction cleavir-ir:multiple-value-call-instruction)
  +     inputs outputs static-environment)
  +  (declare (ignore static-environment))
     `(setf ,(first outputs)
   	 (multiple-value-list
   	  (apply ,(first inputs)
   		 (append ,@(rest inputs))))))
   
   (defmethod translate-simple-instruction
  -    ((instruction cleavir-ir:tailcall-instruction) inputs outputs)
  +    ((instruction cleavir-ir:tailcall-instruction)
  +     inputs outputs static-environment)
  +  (declare (ignore static-environment))
     (declare (ignore outputs))
     (let* ((owner (gethash instruction *instruction-ownerships*))
   	 (var (gethash owner *dynamic-environment-variables*)))
  
positive.code: ;;; Methods on TRANSLATE-SIMPLE-INSTRUCTION.
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-ir:enclose-instruction) inputs outputs)
    (declare (ignore inputs))
    (let* ((enter-instruction (cleavir-ir:code instruction))
  	 (temp (gensym))
  
negative.code: 	       collect `(setf ,output (pop ,temp))))))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-ir:nop-instruction)
       inputs outputs static-environment)
    (declare (ignore static-environment))
    (declare (ignore inputs outputs))
    '(progn))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-ir:unwind-instruction)
       inputs outputs static-environment)
    (declare (ignore static-environment))
    (declare (ignore inputs outputs))
    (let ((dynamic-environment-variable
  	  (gethash (cleavir-ir:invocation instruction)
  