// Copyright 2009 the Sputnik authors.  All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.

/**
 * The "double" token can be used as identifier
 *
 * @path ch07/7.6/7.6.1/7.6.1.2/S7.6.1.2_A1.8.js
 * @description Checking if execution of "double=1" succeeds
 */

var double = 1;