prog: leak-cases vgopts: -q --leak-check=summary --leak-resolution=high