// Copyright 2009 the Sputnik authors.  All rights reserved.
/**
 * The "final" token can be used as identifier
 *
 * @path ch07/7.6/7.6.1/7.6.1.2/S7.6.1.2_A1.12.js
 * @description Checking if execution of "final=1" succeeds
 */

var final = 1;

