> If you need a finalizer that's "prompt and sure", you probably need something > else since what is usually named "finalizer" is has no promptness guarantee. > A finalizer should be merely an optional optimisation. What is usually named "finalizer" outside the world of GC hackers is prompt and sure finalization a la Ada. Nick B