// Normal checks:
function mul(x, y) {
    return x*y;
}
assertEq(mul(1, 2), 2);
assertEq(mul(0, 2), 0);
assertEq(mul(0, -1), -0);
assertEq(mul(100000000, 20000), 2000000000000);
assertEq(mul(0, -2), -0);
assertEq(mul(0, 0), 0);

// Constant * value checks:
assertEq(function(x){return x*1}(4), 4);
assertEq(function(x){return x*1}(0), 0);
assertEq(function(x){return x*1}(-4), -4);
assertEq(function(x){return x*2}(4), 8);
assertEq(function(x){return x*2}(0), 0);
assertEq(function(x){return x*2}(-4), -8);
assertEq(function(x){return x*2}(2000000000), 4000000000);
assertEq(function(x){return x*5}(4), 20);
assertEq(function(x){return x*5}(0), 0);
assertEq(function(x){return x*5}(-4), -20);
assertEq(function(x){return x*0}(0), 0);
assertEq(function(x){return x*0}(5), 0);
assertEq(function(x){return x*0}(-5), -0);
assertEq(function(x){return x*-5}(4), -20);
assertEq(function(x){return x*-5}(0), -0);
assertEq(function(x){return x*-5}(-4), 20);
assertEq(function(x){return x*20000}(100000000), 2000000000000);

// Constant folding
assertEq(function(){var x=5; return x*4}(), 20);
assertEq(function(){var x=5; return x*-4}(), -20);
assertEq(function(){var x=0; return x*4}(), 0);
assertEq(function(){var x=0; return x*0}(), 0);
assertEq(function(){var x=0; return x*-4}(), -0);
assertEq(function(){var x=20000; return x*100000000}(), 2000000000000);