Looking at the example of _struct.c, I'll withdraw my objection to the patch. The segfault is due to the attempt to destroy a statically allocated type object, and the only viable solution to that is to ensure the reference count never drops to 0, even during Py_Finalize.

I also created issue11349 to cover the fact that _pickle really shouldn't be stashing things in static globals now that a better alternative is available.