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