Timon Gehr:
> The point was that the code you gave should work even without
> your proposed enhancement.
So my original question was: do you remember if Hara has already
written a patch to fix that bug? :-)
Bye,
bearophile