Valgrind (for PIEtrace)