add coverage_counter.p