RawArray
simple refinements