text: // Copyright 2009 the Sputnik authors.  All rights reserved.
  // This code is governed by the BSD license found in the LICENSE file.
  
  /**
  * @name: S15.5.4.13_A6;
  * @section: 15.5.4.13, 13.2;
  * @assertion: String.prototype.slice has not prototype property;
  * @description: Checking String.prototype.slice.prototype;
  */
  
  //////////////////////////////////////////////////////////////////////////////
  //CHECK#1
  if (String.prototype.slice.prototype !== undefined) {
    $ERROR('#1: String.prototype.slice.prototype === undefined. Actual: '+String.prototype.slice.prototype );
  }
  //
  //////////////////////////////////////////////////////////////////////////////
  