/* -*- indent-tabs-mode: nil; js-indent-level: 4 -*- */
/*
 * Any copyright is dedicated to the Public Domain.
 * http://creativecommons.org/licenses/publicdomain/
 */

/* This shouldn't trigger an assertion. */
(function () {
    eval("var x=delete(x)")
})();

reportCompare(0, 0, "ok");