1prog: leak-cases 2vgopts: -q --leak-check=full --leak-resolution=high 3stderr_filter_args: leak-cases.c 4