ditto, convenient function for reading from the file.
ErrnoException if file could not be opened.
See Implementation
ditto, convenient function for reading from the file.