{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"branch_regions.push(ffi::BranchRegion"}]}
                branch_regions.push(ffi::BranchRegion {
            MappingKind::Branch { true_bcb, false_bcb } => {
                    cov_span,