michael@0: // Any copyright is dedicated to the Public Domain.
michael@0: // http://creativecommons.org/licenses/publicdomain/
michael@0: 
michael@0: (function () {
michael@0:     var [x, y] = {"0": function () y, "1": 13};
michael@0:     assertEq(x(), 13);
michael@0: })();
michael@0: 
michael@0: reportCompare(0, 0, 'ok');