What about the more common situation where the thing to be allocated is a (potentially large) array? These aren't always accessed sequentially. And the offset

What about the more common situation where the thing to be allocated is a (potentially large) array? These aren't always accessed sequentially. And the offset might be (indirectly) controlled by untrusted data from the wild.