Now suppose that the definition of type T is changed to char. This means that the last bullet in subclause 6.3 (``an object shall have its stored value accessed only by ... a character type'') now applies, and furthermore it means that the location accessed is an integral multiple of sizeof(T) bytes from the start of the malloced object, and so constitutes an element of that object when viewed as an array of T.