pub(crate) fn write_mapping_to_buffer(
virtual_file_mapping: Vec<u32>,
expressions: Vec<CounterExpression>,
code_regions: &[CodeRegion],
branch_regions: &[BranchRegion],
mcdc_branch_regions: &[MCDCBranchRegion],
mcdc_decision_regions: &[MCDCDecisionRegion],
buffer: &RustString,
)