michael@0: if (Proxy.fix) {
michael@0:     var handler = { fix: function() { return []; } };
michael@0:     var p = Proxy.createFunction(handler, function(){}, function(){});
michael@0:     Proxy.fix(p);
michael@0:     new p();
michael@0: }