blob: 9a2cc7108bf2be087ea7dcdc3d6b6441b792d379 [file] [log] [blame]
Tests that -2^31/-1 (and a bunch of other corner cases) does the right thing.
On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2
PASS myOtherDivByNeg1(w) is -4
PASS myOtherDivNeg2ToThe31(v) is -1073741824
PASS myOtherMod(w, v) is 0
PASS myOtherModByNeg1(w) is 0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS myDiv(x, y) is 2147483648
PASS myDivByNeg1(x) is 2147483648
PASS myDivNeg2ToThe31(y) is 2147483648
PASS myMod(x, y) is -0
PASS myMod(x, z) is -2
PASS myModByNeg1(x) is -0
PASS myModBy2(x) is -0
PASS myModBy1073741824(x) is -0
PASS myModBy2(y) is -1
PASS myModBy1073741824(y) is -1
PASS myModBy2(z) is 1
PASS myModBy1073741824(z) is 3
PASS myModNeg2ToThe31(y) is -0
PASS myOtherDiv(w, v) is 2147483648
PASS myOtherDivByNeg1(w) is 2147483648
PASS myOtherDivNeg2ToThe31(v) is 2147483648
PASS myOtherMod(w, v) is -0
PASS myOtherModByNeg1(w) is -0
PASS myOtherModNeg2ToThe31(v) is -0
PASS myOtherModNeg2ToThe31(3) is -2
PASS myDivExpectingInt(x, y) is x
PASS successfullyParsed is true
TEST COMPLETE