anchor.diff:       instruction)
       ;; Insert the instruction that takes the CAR of the
       ;; static runtime environment to access the first vector
  -    ;; FIXME: it is not always the first vector. 
  +    ;; FIXME: it is not always the first vector.
       (cleavir-ir:insert-instruction-before
        (cleavir-ir:make-car-instruction
         static-env temp2 instruction)
        instruction)
       ;; Return the modified constants list
       (cons `(function ,function-name) constants)))
  -  
  +
   (defun process-input (instruction input static-env constants)
     (if (typep input 'cleavir-ir:constant-input)
         (let ((temp (cleavir-ir:new-temporary)))
  
positive.code: ;;; Constants that are replaced in the program are collected in a list
  ;;; of ENTRIES.  Each entry is either of the form (FUNCTION
  ;;; <function-name>) or (CONSTANT <constant>).  The list of entries is
  ;;; returned. 
  (defun process-constants (initial-instruction)
    (let ((static-env (cleavir-ir:new-temporary))
  	(table (make-hash-table :test #'eq))
  
negative.code: ;;; An FDEFINITION-INSTRUCTION with a constant function name as input
  ;;; is replaced by a reference to an item in the static environment.
  ;;; That item is assumed to be a CONS cell where the CAR contains the
  ;;; function to be called or otherwise referred to.
  ;;;
  ;;; At the moment, we assume that the function cell is located in the
  ;;; vector that is the CAR of the list representing the static
  