anchor.diff:  
   (defmethod translate ((loop loop-statement))
     `(let* ,(loop-statement-bindings loop)
  -     (loop for ,(loop-statement-index loop) of-type fixnum
  -           from ,(loop-statement-start loop)
  -           by ,(loop-statement-step loop)
  -             below ,(loop-statement-end loop)
  -           do ,(translate (loop-statement-body 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))
  
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: 
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  ;;; Working with addresses and loops
  
  (declaim (inline %emit-index-+ %fixnum-*))
  
  