> so it was impossible to make an out-of-bounds access. That's a strong claim for something as vaguely defined as "the length of an array." What if I allocate

> so it was impossible to make an out-of-bounds access. That's a strong claim for something as vaguely defined as "the length of an array." What if I allocate a huge array of memory and emulate another processor using that memory? What if I subpartition an array? What if I overallocate an array to avoid reallocations?