A.0.7 Arrays and Pointers
A.0.7.1 Largest Array Size
size_t is defined as unsigned int (32 bits). However, the constant expression of an array declarator must not be of type __int64 (either signed or unsigned).
A.0.7.2 Casting Pointers
sizeof(void *) is 4. All pointers are this size.
A.0.7.3 Pointer Subtraction
ptrdiff_t is defined as int (32 bits).