CL-USER> (loop for x of-type (integer 1 5) from 1 to 5 collect x)

CL-USER> (BLOCK NIL
           (LET ((X 1))
             (DECLARE (TYPE (INTEGER 1 5) X))
             (LET* ((#:LOOP-LIST-HEAD-883 (LIST NIL))
                    (#:LOOP-LIST-TAIL-884 #:LOOP-LIST-HEAD-883))
               (TAGBODY
                ANSI-LOOP::NEXT-LOOP (RPLACD #:LOOP-LIST-TAIL-884
                                             (SETQ #:LOOP-LIST-TAIL-884 (LIST X)))
                        (SETQ X (1+ X))
                        (IF (> X '5) (PROGN (GO ANSI-LOOP::END-LOOP)))
                        (GO ANSI-LOOP::NEXT-LOOP)
                ANSI-LOOP::END-LOOP (RETURN-FROM NIL (CDR #:LOOP-LIST-HEAD-883))))))