printf for valgrind