michael@0: (function() {
michael@0:     for (var j = 0; j < 1; ++j) {
michael@0:         var r = ((0x7fffffff - (0x80000000 | 0)) | 0) % 10000;
michael@0:         assertEq(r, -1);
michael@0:     }
michael@0: })();
michael@0: