{ if (level != 0) return make_deep_nest(level - 1); return "END"; } 
{ if (level != 0) return make_deep_nest(level - 1); return "END"; } 
  cursor.toSource = function()  {    if (level != 0)      return make_deep_nest(level - 1);    return "END";  }
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-192465.js/clean/js/tests/js1_5/extensions/regress-192465.js