michael@0: function foo(x, y) {
michael@0:   if (y < 0) {}
michael@0:   return x * 1000;
michael@0: }
michael@0: function bar(x, y) {
michael@0:   while (false) {}
michael@0:   assertEq(foo(x, false), 10500);
michael@0:   assertEq(foo(y, false), 11000);
michael@0: }
michael@0: bar(10.5, 11);