coverage: Make the coverage counters catalog program-specific.