[eliteraspberrie]

It is also impossible for a variable of type int to have a value greater than SIZE_MAX.

[scatters]

On conventional platforms, sure, but there's nothing in the standard stopping int being larger than size_t. It would make plenty of sense on segmented or small-pointer architectures, like x32 (word size 64 bit, pointer size 32 bit).