#include #include int main() { printf("%d\n", INT_MAX); }