#include <stdio.h>
#include <stdlib.h>
int foo( int i1, int i2, int i3 ) {
return 20 + abs(i1
^i2
^i3
) %5; }
int main(void) {
printf("%i\n",foo
(0,0,-2147483648)); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRsaWIuaD4KCmludCBmb28oIGludCBpMSwgaW50IGkyLCBpbnQgaTMgKSB7CiAgICByZXR1cm4gMjAgKyBhYnMoaTFeaTJeaTMpICU1Owp9CgppbnQgbWFpbih2b2lkKSB7CglwcmludGYoIiVpXG4iLGZvbygwLDAsLTIxNDc0ODM2NDgpKTsKCXJldHVybiAwOwp9CgoK