Pointer and array bounds checks