Re: [Python-Dev] Making builtins more efficient