EOF * 2 はいくつになるべきか!?