prog: leak-cycle vgopts: -q --leak-check=yes --leak-resolution=high