LOOP.1.41 is incorrect

;;; Test that the index variable acheives the exclusive
;;; upper bound, but does not exceed it.
(deftest loop.1.41
  (loop for x from 1 below 5 do nil finally (return x))
  4)

CLHS 6.1.2.1.1 states, "iteration continues until the value var is stepped to the exclusive or inclusive limit supplied by form2." Therefore it is possible for X to be set to 5.