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