michael@0: // |jit-test| debug;
michael@0: 
michael@0: // Binary: cache/js-dbg-32-ceef8a5c3ca1-linux
michael@0: // Flags:
michael@0: //
michael@0: function f() { eval(''); }
michael@0: trap(f, 9, "");
michael@0: f()