value_of($type(arguments)).should_be('arguments'); 
value_of($type(arguments)).should_be((window.opera) ? 'array' : 'arguments'); 
	for_arguments: function(){		value_of($type(arguments)).should_be('arguments');	},
7087	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7087/0ac0c66483ba65dbe1e2926291da730ee0a942b7/Core.js/buggy/Spec/Core/Core.js