var a = new Array(1); a.unshift.call(a, 1); 
var a = new Array(1); a.unshift.call(a, 1); 
function x2() {	var a = new Array(1);	a.unshift.call(a, 1);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-315509-02.js/buggy/js/tests/js1_5/extensions/regress-315509-02.js