michael@0: // Binary: cache/js-dbg-32-1a1611bb1063-linux
michael@0: // Flags: -j
michael@0: //
michael@0: var e;
michael@0: function w(f, y) {
michael@0:     e = 2 * f;
michael@0:     for (var i = 0; i < 1; i++) {
michael@0:     }
michael@0: }
michael@0: for (var u = 0; u < 4; ++u) {
michael@0:     w(undefined, 0);
michael@0:     w(1, (2) * 2);
michael@0: }