make array accesses non-tolerant