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