thirsty. When's EOF?