#include <stddef.h>#include <stdint.h>#include <stdlib.h>intmain() {size_t s;
s = SIZE_MAX;/* If SIZE_MAX is truncated when assigning to "s", then SIZE_MAX is too big. */if(s != SIZE_MAX)abort();/* If SIZE_MAX + 1 is not zero, then SIZE_MAX is not big enough. */if(++s !=0)abort();return0;}