[Python-Dev] Re: obmalloc (was Have a big machine and spare time? Here's a possible Python bug.)