michael@0: // Binary: cache/js-dbg-64-985cdfad1c7e-linux
michael@0: // Flags: -j
michael@0: //
michael@0: function a() {}
michael@0: a();
michael@0: for(var j=0;j<3;++j){ evalcx("lazy");}