return CALL_CALLED; 
return CALL_CALLED; 
function call(){    return CALL_CALLED;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-23346.js/buggy/js/tests/ecma_3/ExecutionContexts/regress-23346.js