/* STR is a string of words.  A newline, null, or end of file marks the 
end of a string of words.  A word is any group of characters not 
separated by a space or a tab.  Tabs and spaces trailing a word are 
treated as part of that word.  Tabs and spaces leading the first word 
are treated as part of the first word.  ADJUST adds spaces as evenly 
as is possible between words so that the last character of the last 
word ends in column COL.  If spaces cannot be added evenly between 
words then the modulo of excess spaces is added, one space each, 
between words from the left end of STR until the excess is exhausted.  
Tabs are not expanded and tabs are treated in the same way as spaces.  
If STR contains no words or one word, ADJUST does nothing.  ADJUST 
returns failure if COL is less than the number of characters in STR. */