{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"mcdc_num_condition_bitmaps,"}]}
        mcdc_num_condition_bitmaps,
        mcdc_bitmap_bits: extracted_mappings.mcdc_bitmap_bits,
    }));