(sb-kernel:type=
(sb-kernel:specifier-type '(simple-array an-unkown-type (7)))
(sb-kernel:specifier-type '(simple-array an-unkown-type (8))))))
(sb-kernel:type=
(sb-kernel:specifier-type '(simple-array an-unkown-type (7)))
(sb-kernel:specifier-type '(simple-array an-unkown-type (8))))))