Tests what happens when you multiply a big unknown integer with a small known integer and detect that we have had an overflow.

On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".


PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS foo(2147483647) is 140737488289792
PASS successfullyParsed is true

TEST COMPLETE