return ($type(args) == 'array') ? args : [args]; 
var type = $type(args); if (type && type != 'array') args = [args]; return args; 
function $splat(args){	return ($type(args) == 'array') ? args : [args];};
9494	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9494/36548486d63dbe2b2c933a33b7f992719a8a7f3b/Core.js/buggy/Core/Core.js