Support for finalizers in GC (__del__)