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

function foo(a) {
    return a * 65536;
}

for (var i = 0; i < 1000; ++i)
    shouldBe("foo(2147483647)", "140737488289792");