1 2 3 4 5 6 7 8 9 10 11 12 13
function f0() { var v0 = 5000; if (v0) { if (v0) { v0 = v0 * v0; } else { return; } v0 = v0 * v0; } return v0; } assertEq(f0(), 625000000000000);