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