{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":")"}]}
) -> CoverageCounters {
    bcbs_seen: &DenseBitSet<BasicCoverageBlock>,
    let mut new = CoverageCounters::with_num_bcbs(bcb_needs_counter.domain_size());