michael@0: // Don't assert in the type analyzer.
michael@0: timeout(5);
michael@0: function f0(p0,p1,p2,p3) {
michael@0:     var v0;
michael@0:     var v1;
michael@0:     var v2;
michael@0:     var v3;
michael@0:     var v4;
michael@0:     var v5;
michael@0:     var v6;
michael@0:     do {
michael@0:         continue;
michael@0:     } while ((v1 ^ p2));
michael@0:     if (v5) {
michael@0:         p3;
michael@0:         while (p2) {
michael@0:             p0;
michael@0:             if (p2) {
michael@0:             } else {
michael@0:                 break;
michael@0:                 v3 = p0;
michael@0:             }
michael@0:             p0;
michael@0:             break;
michael@0:             while (((v3 & v0) | p2)) {
michael@0:                 if (p2) {
michael@0:                     break;
michael@0:                 }
michael@0:             }
michael@0:         }
michael@0:     } else {
michael@0:         v2 = p1;
michael@0:         v3 = p2;
michael@0:         v4;
michael@0:         ((p3 | p3) + (v1 + p1));
michael@0:     }
michael@0:     v6 = (p0 + p3);
michael@0:     v3 = v3;
michael@0:     v2 = v1;
michael@0:     while (((v3 & p0) + v1)) {
michael@0:         v6 = (v5 + p1);
michael@0:         while (((p3 + (v4 + v3)) + v6)) {
michael@0:             v6 = (v2 | (v1 + (v0 | v2)));
michael@0:             break;
michael@0:             v3 = p0;
michael@0:             v0;
michael@0:         }
michael@0:         do {
michael@0:             while (p2) {
michael@0:             }
michael@0:             v3 = p0;
michael@0:             do {
michael@0:                 v2 = v5;
michael@0:             } while (p2);
michael@0:             continue;
michael@0:         } while ((((p2 & p2) & p0) + p2));
michael@0:         v2 = p0;
michael@0:         v5 = v1;
michael@0:     }
michael@0:     v6 = (v4 & (v5 + v5));
michael@0: }
michael@0: f0(0,0,0,0);
michael@0: