michael@0: timeout(5);
michael@0: function f0(p0,p1,p2,p3,p4,p5,p6,p7,p8) {
michael@0:     var v0;
michael@0:     p0;
michael@0:     v0 = p8;
michael@0:     if (v0) {
michael@0:         v0;
michael@0:         v0 = (p5 ^ (p2 ^ p6));
michael@0:         if (p1) {
michael@0:         } else {
michael@0:             v0 = (((v0 & p6) ^ v0) + (v0 | p3));
michael@0:         }
michael@0:         ((v0 + v0) + v0);
michael@0:         (v0 + ((p1 + ((v0 & v0) & p1)) & v0));
michael@0:         p4;
michael@0:         p2;
michael@0:         v0 = v0;
michael@0:     }
michael@0:     p4;
michael@0:     while ((v0 ^ p0)) {
michael@0:         break;
michael@0:         (v0 ^ (p1 + p4));
michael@0:         continue;
michael@0:         v0;
michael@0:     }
michael@0:     v0;
michael@0:     do {
michael@0:         continue;
michael@0:         v0 = p5;
michael@0:         break;
michael@0:     } while (v0);
michael@0:     v0 = v0;
michael@0: }
michael@0: f0(0,5695,59,475,4562,6803,6440,6004,0);
michael@0: