(defun b1 ()
  (let ((x 0))
    (dotimes (n 250000000) (incf x))
    x))

(defun b2 ()
  (let ((x 0))
    (declare (fixnum x))
    (dotimes (n 1000000000) (incf x))
    x))