checked array bounds is memory safety.