if (typeof gc == 'function') gc(); for (var i = 0; i != 50000; ++i) { var tmp = 1 / 3; tmp /= 10; } for (var i = 0; i != 1000; ++i) {    var tmp2 = Array(12).join(' '); } }); 
if (typeof gc == 'function') gc(); for (var i = 0; i != 50000; ++i) { var tmp = 1 / 3; tmp /= 10; } for (var i = 0; i != 1000; ++i) {    var tmp2 = Array(12).join(' '); } }); 
  a.__defineSetter__(JSVAL_INT_MAX, function(value) {    delete a[JSVAL_INT_MAX + 1];    var tmp = [];    tmp[JSVAL_INT_MAX + 2] = 2;    if (typeof gc == 'function')      gc();    for (var i = 0; i != 50000; ++i) {      var tmp = 1 / 3;      tmp /= 10;    }    for (var i = 0; i != 1000; ++i) {      // Make string with 11 characters that would take      // (11 + 1) * 2 bytes or sizeof(JSAtom) so eventually      // malloc will ovewrite just freed atoms.       var tmp2 = Array(12).join(' ');    }  });
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-345967.js/buggy/js/tests/js1_5/extensions/regress-345967.js