No need to check eof, for rxmatch-case takes care of non-string val.