Function write_doc_comment 

fn write_doc_comment(contents: &[String], dest: &mut String)