exercise 12-15: input operator of Str class also needs to check input stream, and reset it to valid state if read succeeded.
I have already done that when implementing the input operator.
Tips of writing an EOF character in linux terminal: press Control+D two times when you are in a non-empty line. Otherwise, a single Control+D will do.