In practice a small function like this would be inlined, which gives room for further optimisations. At any point, if the compiler knows that all accesses are i

In practice a small function like this would be inlined, which gives room for further optimisations. At any point, if the compiler knows that all accesses are in bounds, it can remove the bounds checks. The trick is actually having it figure that out.