In expressions involving pointer arithmetic, it is presumed that the pointers are addresses. Consequently, when adding a value to a pointer, the result pointer may not have the high order bit on even though the source pointer did have the high order bit on.