#include <stdio.h>
int f(int value)
{
int my_cup = value + 10;
if (my_cup < value)
{
}
return my_cup;
}
int main(int argc, const char * argv[])
{
printf("%d\n", f
(argc
+ 0x7FFFFFF8)); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiAgCmludCBmKGludCB2YWx1ZSkKewogICAgaW50IG15X2N1cCA9IHZhbHVlICsgMTA7CiAgICBpZiAobXlfY3VwIDwgdmFsdWUpCiAgICB7CiAgICAgICAgcHJpbnRmKCJvdmVyZmxvdyFcbiIpOwogICAgfQogICAgcmV0dXJuIG15X2N1cDsKfQogIAppbnQgbWFpbihpbnQgYXJnYywgY29uc3QgY2hhciAqIGFyZ3ZbXSkKewogICAgcHJpbnRmKCIlZFxuIiwgZihhcmdjICsgMHg3RkZGRkZGOCkpOwogICAgcmV0dXJuIDA7Cn0KIA==