Bounds-checking for array attributes.