{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"cov_span,"}]}
                    cov_span,
                mcdc_branch_regions.push(ffi::MCDCBranchRegion {
                    true_counter: counter_for_bcb(true_bcb),