{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"write_coverage_info_hi(coverage_info_hi,"}]}
        write_coverage_info_hi(coverage_info_hi, w)?;
    if let Some(coverage_info_hi) = &body.coverage_info_hi {
    }