michael@0: timeout(5);
michael@0: function f0() {
michael@0:     var v0;
michael@0:     v0 = v0;
michael@0:     v0 = v0;
michael@0:     v0;
michael@0:     while ((v0 + v0)) {
michael@0:         v0 = (v0 | v0);
michael@0:     }
michael@0:     v0 = (v0 + (v0 + ((v0 + ((v0 ^ v0) & (v0 | v0))) + v0)));
michael@0:     while (v0) {
michael@0:         v0 = v0;
michael@0:         break;
michael@0:     }
michael@0: }
michael@0: f0();
michael@0: