#include <stdint.h>
#include <stdio.h>
int main()
{
uint32_t n = static_cast<uint32_t>(INT32_MAX)+1;
printf("n: %u\n", n);
}
I2luY2x1ZGUgPHN0ZGludC5oPgojaW5jbHVkZSA8c3RkaW8uaD4KCmludCBtYWluKCkKewogICAgdWludDMyX3QgbiA9IHN0YXRpY19jYXN0PHVpbnQzMl90PihJTlQzMl9NQVgpKzE7CiAgICBwcmludGYoIm46ICV1XG4iLCBuKTsKfQ==