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

do = 1;

