///
void writeFileAscii(string const & , int);
///
void writeFileAscii(std::ostream &, int);
///
string const asciiParagraph(Paragraph const *, unsigned int linelen,
///
void writeFileAscii(string const & , int);
///
void writeFileAscii(std::ostream &, int);
///
string const asciiParagraph(Paragraph const *, unsigned int linelen,