[Python-Dev] Should execv() call _run_exitfuncs()? If not, should _run_exitfuncs() be private?