michael@0: function foldme() {
michael@0:     var v0 = 0x7fffffff;
michael@0:     var v1 = 1;
michael@0:     var v2 = v0 + v1;
michael@0:     return v2;
michael@0: }
michael@0: assertEq(foldme(),2147483648);
michael@0: