printBugNumber (bug); 
printBugNumber(BUGNUMBER); 
function test(){  enterFunc ('test');  printBugNumber (bug);  printStatus (summary);  var f = function() { switch(0) { case let(y = 3) 6: } }
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-351496.js/buggy/js/tests/js1_7/decompilation/regress-351496.js