anchor.diff:  
   (defun load-level-location (location)
     (let ((count (- *depth* (lexical-depth (owner location)))))
  -    `(;; Load the lexical environment from the stack.
  -      "	move ebx, [ebp - 4]"
  +    `("	mov ebx, [ebp - 4]	; Load lexical environment from stack."
         ;; The environment is a list of levels.  Take the CDR as many
         ;; times as necessary to get to the right CONS cell of the list.
         ,@(loop repeat count
  -	      collect "	move ebx, [ebx + 3]")
  -      ;; Take the CAR to get to the level. 
  -      "	move ebx, [ebx - 1]"
  -      ;; The level is a heap object.  Load the contents vector. 
  -      "	move ebx, [ebx + 1]")))
  +	      collect "	mov ebx, [ebx + 3]	; CDR down a level.")
  +      "	mov ebx, [ebx - 1]	; CAR to get to the level vector."
  +      "	mov ebx, [ebx + 1]	; Load contents vector of level vector.")))
   
   (defun source/destination-operand (location)
     (format nil "[ebx + ~a]" (* 4 (1+ (index location)))))
  
positive.code:   '("	ret"))
  
  (defun save-function ()
    `("	move [ebp - 4], ecx"))
  
  ;;; Push the arguments in reverse order. 
  (defun push-arguments ()
    (let ((label1 (gensym))
  	(label2 (gensym)))
      `("	shl ebx, 2"
        ,(format nil "~a:" label1)
        "	cmp ebx, 0"
        ,(format nil "	jz, ~a" label2)
        "	sub ebx, 4"
        "	push [eax + ebx]"
        ,(format nil "	jump ~a" label1)
        ,(format nil "~a:" label2))))
  
  (defmethod codegen-instruction
      ((instruction sicl-mir:get-arguments-instruction))
  
negative.code: 	(else-branch (codegen-instruction (cadr (successors instruction))))
  	(then-branch (codegen-instruction (car (successors instruction)))))
      `(,@(load-input (cadr (inputs instruction)))
        "	mov ebx, eax	; Second argument of u<."
        ,@(load-input (car (inputs instruction)))
        "	cmp eax, ebx	; Compare first and second argument of u<."
        ,(format nil "	jnb ~a	; Go if not u<." label)
        ,@then-branch
        ,(format nil "~a:		; Come here if not u<." label)
        ,@else-branch)))
  	  
  (defmethod codegen-instruction
  