ok, EOF is useful