added valgrind_formula