michael@0: // Binary: cache/js-dbg-64-fcca99426576-linux
michael@0: // Flags: -m -n -a
michael@0: //
michael@0: 
michael@0: function printStatus (msg) {}
michael@0: F = function () {};
michael@0: F.prototype = new Int32Array(1);
michael@0: o = new F();
michael@0: function f2(o){
michael@0: 	with(this)
michael@0: 	for(var x in o)
michael@0: 	printStatus(o[x]);
michael@0: }
michael@0: f2([]);