Hello PyPy-ers, Sorry, I forgot to CC to the list when I first replied to Richard, and so we didn't notice that the whole subsequent thread wasn't mirrored to pypy-dev... I'm bouncing the messages. Armin