#include <stdio.h>
int main(void) {
int a=2;
a+=0x3fffffff;
printf("%d %d\n",a
,0x3fffffff);
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CglpbnQgYT0yOwoJCglhKz0weDNmZmZmZmZmOwoJCglwcmludGYoIiVkICVkXG4iLGEsMHgzZmZmZmZmZik7CgkKCXJldHVybiAwOwp9Cg==