michael@0: function f0(p0) {
michael@0:     var v0 = -16;
michael@0:     var v1;
michael@0:     var v2;
michael@0:     loop0: while (((v2 + p0) & p0)) {
michael@0:         v2 = (p0 | p0);
michael@0:     }
michael@0:     return v0;
michael@0: }
michael@0: assertEq(f0(7852), -16);