michael@0: /*
michael@0:  * Any copyright is dedicated to the Public Domain.
michael@0:  * http://creativecommons.org/licenses/publicdomain/
michael@0:  */
michael@0: var expect = 'pass';
michael@0: var actual = expect;
michael@0: function f({"\xF51F": x}) {}
michael@0: try {
michael@0:     eval(uneval(f));
michael@0: } catch (e) {
michael@0:     actual = '' + e;
michael@0: }
michael@0: reportCompare(expect, actual, "");