let eof_str = "{End of file reached}"