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