// Any copyright is dedicated to the Public Domain.
// http://creativecommons.org/licenses/publicdomain/
// Contributors: Gary Kwong <gary@rumblingedge.com>, Brendan Eich <brendan@mozilla.com>

var box = evalcx('lazy');

var src =
    'try {\n' +
    '    __proto__ = Proxy.createFunction((function() {}), function() {})\n' +
    '    var x\n' +
    '    *\n' +
    '} catch(e) {}\n' +
    'default xml namespace = x\n' +
    'for (let b in [0, 0]) <x/>\n';

evalcx(src, box);

this.reportCompare(0, 0, "ok");
