before I change - anyone objects that Object::do_destroy() be made protected (instead of public) ?
--
Barak