Saving of Counters: When

The coverage data is written out from main memory by default at the end of the program execution. There are several alternatives how to trigger this.