Function write_coverage_info_hi 

fn write_coverage_info_hi(
    coverage_info_hi: &CoverageInfoHi,
    w: &mut dyn Write,
) -> Result<()>