SVEC: Add out-of-bounds check even if size=0