PureCoverage uses saturating counters to record the number of times a function or line has been executed. These counters saturate when their value reaches 9999. All counts of 10,000 and more are represented as 10K+ in the PureCoverage Viewer and as 10000 everywhere else.