Mention that S+T cannot overflow if S is the size of an existing object and T is sufficiently small.