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: 	 (temp1 (cleavir-ir:new-temporary))
  	 (temp2 (cleavir-ir:new-temporary)))
      ;; Insert the instruction that takes the CAR of the
      ;; function cell. 
      (cleavir-ir:insert-instruction-before
       (cleavir-ir:make-car-instruction
        temp1 output instruction)
  
negative.code: 
  ;;;; The purpose of this component is to remove non-trivial literal
  ;;;; constants.  Here, non-trivial means that it can not be
  ;;;; represented as an immediate value for the particular processor.
  ;;;;
  ;;;; It is assumed that trivial constants have already been replaced
  ;;;; by immediate inputs, so that the constants remaining in the
  