+(locally
+ (declare (optimize (safety 0)))
+ (defun bubblesort (x y)
+ (declare (type (simple-array fixnum (*)) x)
+ (type fixnum y)
+ (optimize (speed 3) (safety 3) (space 0) (debug 0)))
+ (aref x y)))
+
+(assert (raises-error? (bubblesort (make-array 10) 9)))