/* test punctuation changes
 * this function is silly. it exists only to test that the punctuation-
 * correction stuff works correctly.  there was a double space before this
 * sentance. Whoa.
 */
void punctuation(void);
