On Thu, 3 Apr 2008, Sven Schreiber [sent a nice test case].
Thanks, Sven. I've just updated the Windows snapshot to reflect
today's fixes. (Thanks to Jack for pin-pointing the problem!)
However, we're not quite out of woods yet. Valgrind shows me
something wrong when your script is run; it doesn't seem to be
connected with the infinite loop issue, which is solved, but may
have something to do with the more general flakiness you
mentioned. I'll report back when I have that fixed.
Allin.