string nl(max_width,' ');
nl.replace(0,left[c].length(),left[c]);
nl+=" "+right[c];
while (nl.length()>80){ // Too long???
int limit=nl.find_last_of(' ',80);
string nl(max_width,' ');
nl.replace(0,left[c].length(),left[c]);
nl+=" "+right[c];
while (nl.length()>80){ // Too long???
int limit=nl.find_last_of(' ',80);