insure++.report_file insure.log
insure++.report_overwrite false
insure++.coverage_map off
insure++.summarize leaks outstanding
