michael@0: function f0() {
michael@0:     var v0;
michael@0:     do {
michael@0:         v0 = (v0 & v0) + v0;
michael@0:         continue;
michael@0:     } while (v0);
michael@0: }
michael@0: assertEq(f0(), undefined);
michael@0: