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