<tbf: diagnosis of valgrind errors>