prog: env
vgopts: -q --leak-check=full