1prog: pointer-trace
2vgopts: -q --leak-check=yes
3