On Fri, 04 Oct 2002, Matthias Andree wrote: > Valgrind 1.0.3 is complaining, but I cannot track this down at the > moment: Seems to be gone in current CVS, nevermind.