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