What are the possibilities?
 
 
- White-space characters that include two or more newlines (we return BREAK)
- Zero or more white-space characters including at most one newline, then
- 
- a non-space character (we must read characters and return WORD), or
- end of file (we must return END)
 
- In all cases, we will read one extra char