(movable foldable flushable dx-safe))
(defknown data-vector-ref (simple-array index) t
(foldable explicit-check always-translatable))
(movable foldable flushable dx-safe))
(defknown data-vector-ref (simple-array index) t
(foldable explicit-check always-translatable))
(foldable explicit-check always-translatable))
(defknown data-vector-set (array index t) t
(explicit-check always-translatable))
(foldable explicit-check always-translatable))
(defknown data-vector-set (array index t) t
(explicit-check always-translatable))
(explicit-check always-translatable))
(defknown hairy-data-vector-ref (array index) t
(foldable explicit-check))
(explicit-check always-translatable))
(defknown hairy-data-vector-ref (array index) t
(foldable explicit-check))