{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                bx.mcdc_condbitmap_update(cond_index, cond_bitmap);
            CoverageKind::TestVectorBitmapUpdate { bitmap_idx, decision_depth } => {