End-of-file marker

An 'end-of-file marker is a character which indicates the end of a file.