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