{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"bx.mcdc_tvbitmap_update(fn_name,"}]}
                bx.mcdc_tvbitmap_update(fn_name, hash, bitmap_index, cond_bitmap);
                let bitmap_index = bx.const_u32(bitmap_idx);
                bx.mcdc_condbitmap_reset(cond_bitmap);