Reply To: ensuring bounds of arrays

Any bounding scheme would have to support the language standards, which explicitly permit one-past-the-end addresses, though not actual access at that address.