(ITS#6810) valgrind output