(dump-integer (array-dimension array i) file))
(with-array-data ((vector array) (start) (end))
(if (and (= start 0) (= end (length vector)))
(dump-integer (array-dimension array i) file))
(with-array-data ((vector array) (start) (end))
(if (and (= start 0) (= end (length vector)))