Ignoration of whitespace at the end of a file (which we get from the memory-mapped file reader)