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