[Python-Dev] Have a big machine and spare time? Here's a possible Python bug.
> Key invariants:
> 2. nfp2lasta[pa->nfreepools] == pa if and only if pa is the only arena
> in usable_arenas with that many free pools.
Ack! Scratch that. I need a nap :-(
In fact if that equality holds, it means that nfp2lasta entry has to
change if pa is moved and pa->prevarena has the same count of free
So forget about the explanation and just think about the goal - the
details will work themselves out ;-)