(defknown hairy-data-vector-ref (array index) t
(foldable flushable explicit-check))
(defknown hairy-data-vector-set (array index t) t (unsafe explicit-check))
(defknown hairy-data-vector-ref (array index) t
(foldable flushable explicit-check))
(defknown hairy-data-vector-set (array index t) t (unsafe explicit-check))