prog: leak-cases vgopts: -q --leak-check=full --leak-resolution=high stderr_filter_args: leak-cases.c