Hoe detecteert Python EOF?