michael@0: // Binary: cache/js-dbg-32-a847cf5b4669-linux
michael@0: // Flags: -j
michael@0: //
michael@0: function r([]) { r(); }
michael@0: var a = {};
michael@0: a.__defineGetter__("t", r);
michael@0: try { a.t; } catch(e) { }
michael@0: print(uneval(a));