CoverageSpan
The struct itself is already non-public, so having public fields doesn't achieve anything.
SpanFromMir
coverage_counters