Re: Proposal for finalizer optimization.

Yes, the idea is to run object.finalize() exactly before reclaiming object's memory. Ramon