{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"bcb_needs_counter:"}]}
    bcb_needs_counter: &DenseBitSet<BasicCoverageBlock>,
    old: &NodeCounters<BasicCoverageBlock>,
    bcbs_seen: &DenseBitSet<BasicCoverageBlock>,