It should use pointers, since normal index operations do bounds checking before memory access.