michael@0: function f0(p) {
michael@0:     return p + 1;
michael@0: }
michael@0: assertEq(f0(0x7fffffff), 0x80000000);