docs for StaticVector