prog: pointer-trace
vgopts: -q --leak-check=yes