// https://onlinegdb.com/ApNzDNYUx
#include <stdio.h>
// @see https://stackoverflow.com/a/9162072/17679565
#include <inttypes.h>
// For CentOS 6(gcc version 4.4.7) or not defined the macro.
#ifndef INT32_MAX
#define INT32_MAX (2147483647)
#endif
int main()
{
printf("INT32_MAX=%d\n", INT32_MAX);
return 0;
}