michael@0: function f() {}
michael@0: g = wrap(f);
michael@0: g.__defineGetter__('toString', f.toString);
michael@0: g.toString;