michael@0: timeout(1);
michael@0: function f0(p0) {
michael@0:     var v0;
michael@0:     var v1;
michael@0:     var v2;
michael@0:     while (v0) {
michael@0:         do {
michael@0:             if (p0) {
michael@0:                 if (v0 ^ p0) {
michael@0:                     v1 = v2;
michael@0:                     continue;
michael@0:                 }
michael@0:                 break;
michael@0:             }
michael@0:         } while (p0);
michael@0:     }
michael@0: }
michael@0: f0(0);
michael@0: 
michael@0: /* Don't assert */
michael@0: