michael@0: 
michael@0: (function (y) {
michael@0:     arguments.y = 2;
michael@0:     with (0) var arguments=5;    
michael@0: })(1);