When an expression that has integral type is added to or subtracted from a pointer,
the result has the type of the pointer operand. If the pointer operand points to an
element of an array object, and the array is large enough, the result points to an
element offset from the original element such that the difference of the subscripts
of the resulting and original array elements equals the integral expression. In other
words, if the expression P points to the i-th element of an array object, the
expressions (P)+N (equivalently, N+(P)) and (P)-N (where N has the value n) point to,