text: // Copyright 2009 the Sputnik authors.  All rights reserved.
  // This code is governed by the BSD license found in the LICENSE file.
  
  /**
   * @name: S7.5.2_A1.23;
   * @section: 7.5.2;
   * @assertion: The "void" token can not be used as identifier;
   * @description: Checking if execution of "void=1" fails;  
   * @negative
  */
  
  void = 1;
  