Since the size of an array type is always known, could insert a bounds check in debug mode or when a flag is used.