{"ast_node_type":"variable","tokens":[{"end":75,"kind":"keyword","start":0,"text":"let"}]}
        let next_bitmap_bits = bitmap_idx.saturating_add(num_test_vectors);
        let bitmap_idx = *mcdc_bitmap_bits;
        (next_bitmap_bits <= MCDC_MAX_BITMAP_SIZE).then(|| {