/* yumi4.c - Don Yang (uguu.org) 02/17/04 */ /*@ -exportlocal -evalorder -nullderef -type -predboolint -predboolothers @*/ #include int main(int a, /*@null@*/char **s) { return a ? -a < a - a /** a > 0 **/ ? a/a < a ? main(a - a, s-a/-a) : main(--a, (char**)(a-a)) /** a < 0 **/ : /* a>-23 */ a*a < -a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a-a-a ? putchar ( /* a<-21 */ -a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a < a*a ? (int)**s : /* a!=-10 */ a*a - (-a-a-a-a-a -a-a-a-a-a) ? /* a!=-12 */ a*a - (-a-a-a-a-a -a-a-a-a-a -a-a) ? /* a!=-19 */ a*a - (-a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a-a-a-a) ? /* a!=-21 */ a*a - (-a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a) ? main(a - a/a, s) - ( /* a>-10 */ a*a < -a-a-a-a-a -a-a-a-a-a ? /* a>-5 */ a*a < -a-a-a-a-a ? /* a>-3 */ a*a < -a-a-a ? /* a>-2 */ a*a < -a-a ? /* a==-1 -> -6 */ -(-a-a-a-a-a-a) : /* a==-2 -> 10 */ -a-a-a-a-a : /*a>-4*/ a*a < -a-a-a-a ? /* a==-3 -> -11 */ -(-a-a-a-a)-a/-a : /* a==-4 -> -9 */ -(-a-a)-a/a : /* a>-8 */ a*a < -a-a-a-a-a -a-a-a ? /* a==-5,-6,-7 -> 2 */ (-a-a)/-a : /* a>-9 */ a*a < -a-a-a-a-a -a-a-a-a ? /* a==-8 -> 4 */ a/((-a-a)/a) : /* a==-9 -> -8 */ a-a/-a : /* (-a%5) */ -a % ((-a-a-a-a-a)/-a) ? /* a>-17 */ a*a < -a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a-a ? /* a>-14 */ a*a < -a-a-a-a-a -a-a-a-a-a -a-a-a-a ? /* a==-11,-13*/ -a-a-a - (/*a>-12*/ a*a < -a-a-a-a-a -a-a-a-a-a -a-a ? /*a==-11 -> -3 */ -a-a-a : /*a==-13 -> +3 */ -(-a-a-a) )/a : /* a>-16 */ a*a < -a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a ? /* a==-14 -> 51 */ -a-a-a-a - ((-a-a-a-a-a)/-a) : /* a==-16 -> -12 */ a - ((-a-a-a-a)/a) : /* a>-18 */ a*a < -a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a-a-a ? /* a==-17 -> 18 */ -a - a/-a : /* a==-18 -> -70 */ -(-a-a-a-a) - ((-a-a)/a) : /* a==-15,-20 -> 12 */ (-a-a-a-a-a -a-a-a-a-a -a-a)/-a ) : /* a==-21 -> 44 */ -a-a - ((-a-a)/a) : /* a==-19 -> 45 */ -a-a - ((-a-a-a-a-a -a-a)/a) : /* a==-12 -> 46 */ -a-a-a-a - ((-a-a)/-a) : /* a==-10 -> 103 */ -a-a-a-a-a -a-a-a-a-a - ((-a-a-a)/a) ) : /* a == -23 */ **s ? main(a-a/-a, s) ? (++*s ? main(a, s) : a) : a : a : /* a == 0 */ main(--a, s) ? /* a == -1 */ s ? main(main(-(-a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a-a-a-a-a), s) -(-a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a-a-a-a-a -a-a-a-a-a), s) ? main(-(-a-a-a-a-a -a-a-a-a-a -a-a-a), s) : a : main(-(-a-a-a-a-a -a-a-a-a-a -a), s) : a ; }