ファイルにEOFを入力したいんだけど、どうしたらいい?