{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"branch_regions.len(),"}]}
            branch_regions.len(),
            branch_regions.as_ptr(),
            mcdc_branch_regions.as_ptr(),