(def-data-vector-frobs simple-array-unsigned-byte-7 byte-index
positive-fixnum unsigned-reg)
(def-data-vector-frobs simple-array-unsigned-byte-8 byte-index
(def-data-vector-frobs simple-array-unsigned-byte-7 byte-index
positive-fixnum unsigned-reg)
(def-data-vector-frobs simple-array-unsigned-byte-8 byte-index