let
eof_str =
"{End of file reached}"