michael@0: function a() {
michael@0:     with(a) eval("arguments[0]");
michael@0: } a();