(defun trial ()
  (let ((j 0) (k 0))
    (declare (speed 3) (safety 0) (type fixnum j k))
    (dotimes (var 100000000)
      (declare (type fixnum var))
      (setf j (- var (* 10 (floor (/ var 10)))))                               
      (if (= j 5)
          (setf k (+ k 2))
	(setf k (+ k 1))))))