The ARRAY-INDEX definition seems slightly suspect -- I believe it should be: (deftype array-index () `(integer 0 (,(1- array-dimension-limit)))) Cheers, -- Nikodemus