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