instructions for valgrind