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