michael@0: function f0() {
michael@0:     var v0 = 5000;
michael@0:     if (v0) {
michael@0:         if (v0) {
michael@0:             v0 = v0 * v0;
michael@0:         } else {
michael@0:             return;
michael@0:         }
michael@0:         v0 = v0 * v0;
michael@0:     }
michael@0:     return v0;
michael@0: }
michael@0: assertEq(f0(), 625000000000000);