[Python-Dev] Re: GC at exit?