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