What is still the conventional use of the EOF code?