[Python-Dev] Re: puzzled about old checkin to pythonrun.c