anchor.diff:      (setf (sicl-program:required-register *r6-lexical*) (aref *registers* 6))
       (setf (sicl-program:required-register *r7-lexical*) (aref *registers* 7))
       (setf (sicl-program:required-register *r8-lexical*) (aref *registers* 8))
  +    (setf (sicl-program:required-register *r10-lexical*) (aref *registers* 10))
       (setf (sicl-program:required-register *r11-lexical*) (aref *registers* 11))
       (setf (sicl-program:required-register *return-address-lexical*)
   	  (aref *registers* 14))
  
positive.code: 	      (aref *registers* 1)
  	      (aref *registers* 2)
  	      (aref *registers* 3)
  	      (aref *registers* 4)
  	      (aref *registers* 5)
  	      (aref *registers* 6)
  	      (aref *registers* 7)
  	      (aref *registers* 8)
  	      (aref *registers* 9)
  	      (aref *registers* 11)
  	      (aref *registers* 12)
  	      (aref *registers* 14)))
    ;; Generate code for moving the callee-saved registers to lexical
    ;; variables.
    (sicl-mir:insert-instruction-after
     (sicl-mir:make-assignment-instruction
      (aref *registers* 4) *r4-lexical* (car (sicl-mir:successors instruction)))
     instruction)
    (sicl-mir:insert-instruction-after
     (sicl-mir:make-assignment-instruction
      (aref *registers* 5) *r5-lexical* (car (sicl-mir:successors instruction)))
     instruction)
    (sicl-mir:insert-instruction-after
     (sicl-mir:make-assignment-instruction
      (aref *registers* 6) *r6-lexical* (car (sicl-mir:successors instruction)))
     instruction)
    (sicl-mir:insert-instruction-after
     (sicl-mir:make-assignment-instruction
      (aref *registers* 7) *r7-lexical* (car (sicl-mir:successors instruction)))
     instruction)
    (sicl-mir:insert-instruction-after
     (sicl-mir:make-assignment-instruction
      (aref *registers* 8) *r8-lexical* (car (sicl-mir:successors instruction)))
     instruction)
    (sicl-mir:insert-instruction-after
     (sicl-mir:make-assignment-instruction
      (aref *registers* 11) *r11-lexical* (car (sicl-mir:successors instruction)))
     instruction)
    ;; Generate code for moving the return address to a lexical
    ;; variable.
    (sicl-mir:insert-instruction-after
     (sicl-mir:make-assignment-instruction
      (aref *registers* 14)
      *return-address-lexical*
      (car (sicl-mir:successors instruction)))
     instruction)
    ;; Generate code for moving the static environment argument to a
    ;; lexical variable.
    (sicl-mir:insert-instruction-after
  
negative.code: (defvar *r6-lexical*)
  (defvar *r7-lexical*)
  (defvar *r8-lexical*)
  (defvar *r10-lexical*)
  (defvar *r11-lexical*)
  
  (defvar *linkage-vector-lexical*)
  