// Copyright 2009 the Sputnik authors.  All rights reserved.
/**
 * The "catch" token can not be used as identifier
 *
 * @path ch07/7.6/7.6.1/7.6.1.1/S7.6.1.1_A1.3.js
 * @description Checking if execution of "catch=1" fails
 * @negative
 */

catch = 1;

