ありがとうございました。解決しました。

>>552
どこでリダイレクトを使えばいいんですか？

>>557
>>559
ありがとうございます。Enterの後、Ctrl+Zでなんとか通りました。
文末に行ったらgetchar()が自動的にEOFを返すもんだと勝手に思ってたのが原因みたいです。
自分で入力しなきゃいけないんですね。