It seems obvious that when Py_Finalize() decides that there's nothing

to do, it should not call sys.exitfunc either...