Interesting observation -- just because I've checked `%i` is within array bounds, doesn't mean `a[%i]` is safe to access, since `%i` could be `undef` and pass the range check spuriously.
Yeah. And range checks are used to take subslices, so you can take a "sub"slice that's half the memory space, and you have unchecked access to everything after that point :-)