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