anchor.diff:  
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   ;;;
  -;;; Working with fixnums
  +;;; Working with addresses and loops
   
   (declaim (inline %emit-index-+ %fixnum-*))
   
  
positive.code:            (optimize-loops loops)
             `(lambda (kernel)
                (declare (kernel kernel))
                (with-unsafe-optimizations*
                  (let ((references (kernel-references kernel))
                        (unknown-functions (kernel-unknown-functions kernel))
                        (bounds (kernel-bounds kernel)))
  
negative.code: 
  (defmethod translate ((loop loop-statement))
    `(let* ,(loop-statement-bindings loop)
       (for (,(loop-statement-index loop)
             ,(loop-statement-start loop)
             ,(loop-statement-step loop)
             ,(loop-statement-end loop))
         ,(translate (loop-statement-body loop)))))
  
  (defstruct (reduction-statement
              (:include loop-statement))
  