text: load("bf4b12814bc95f34eeb130127d8438ab.js");
  load("93fae755edd261212639eed30afa2ca4.js");
  load("9943750f07ea537be5f5aa14a5f7b1b7.js");
  // Copyright (c) 2012 Ecma International.  All rights reserved.
  // This code is governed by the BSD license found in the LICENSE file.
  
  /*---
  es5id: 15.2.3.6-4-82-18
  description: >
      Object.defineProperty - Update [[Enumerable]] attribute of 'name'
      property to true successfully when [[Enumerable]] attribute of
      'name' is false and [[Configurable]] attribute of 'name' is true,
      the 'desc' is a generic descriptor which only contains
      [[Enumerable]] attribute as true, 'name' property is an index data
      property (8.12.9 step 8)
  includes: [propertyHelper.js]
  ---*/
  
  
  var obj = {};
  
  Object.defineProperty(obj, "0", {
      value: 1001,
      writable: true,
      enumerable: false,
      configurable: true
  });
  
  Object.defineProperty(obj, "0", {
      enumerable: true
  });
  
  verifyEqualTo(obj, "0", 1001);
  
  verifyWritable(obj, "0");
  
  verifyEnumerable(obj, "0");
  
  verifyConfigurable(obj, "0");
  