>>670,671,673

レス、ありがとうです。

「標準入力」しらべました。
ctr+DにはEOFが割り当ててあるのですね。

これって、stdio.hのEOFとまったく同じと考えてよいのですか？