text: // Copyright 2009 the Sputnik authors.  All rights reserved.
  // This code is governed by the BSD license found in the LICENSE file.
  
  /**
  * @name: S12.6.1_A12;
  * @section: 12.6.1;
  * @assertion: Any statement within "do-while" construction must be a compound;
  * @description: Checking if execution of "do var x=1; var y =2; while (0)" fails;
  * @negative;
  */
  
  //////////////////////////////////////////////////////////////////////////////
  //CHECK#1
  do var x=1; var y =2; while (0);
  //
  //////////////////////////////////////////////////////////////////////////////
  