{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"bx.mcdc_condbitmap_update(cond_index,"}]}
                bx.mcdc_condbitmap_update(cond_index, cond_bitmap);
                let cond_index = bx.const_i32(index as i32);
            }