empty string as EOF