text: load("fcfbc86708bc3a4062c2091a062e13b6.js");
  load("faa81dc98fc13338aca921d45eebae79.js");
  // Copyright 2009 the Sputnik authors.  All rights reserved.
  // This code is governed by the BSD license found in the LICENSE file.
  
  /**
   * ''arguments'' variable overrides ActivationObject.arguments
   *
   * @path ch13/13.0/S13_A15_T1.js
   * @description Declaring a function with "__func(arguments)"
   */
  
  function __func(arguments){
      return arguments;
  };
  
  //////////////////////////////////////////////////////////////////////////////
  //CHECK#1
  if (__func(42) !== 42) {
  	$ERROR('#1: "arguments" variable overrides ActivationObject.arguments');
  }
  //
  //////////////////////////////////////////////////////////////////////////////
  
  