{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"mcdc_branch_regions.push(ffi::MCDCBranchRegion"}]}
                mcdc_branch_regions.push(ffi::MCDCBranchRegion {
            MappingKind::MCDCBranch { true_bcb, false_bcb, mcdc_params } => {
                    cov_span,