I&#x27;m aware that index notation in C is just sugar for pointer arithmetic, but I&#x27;m under the impression that the interpretation of &quot;within the bounds of an object&quot; is less liberal than that demonstrated in your code example. In particular it&#x27;s not clear to me that a pointer derived from an offset into an existing allocation does not constitute a new object, with its own bounds. Maybe I&#x27;m just spoiled by languages with proper slices...