Read a chunk of bytes from the file from the given offset, into the provided array
destination buffer to fill
offset to start reading from
number of bytes read or Eof if there's no further data
File.IOException on failure
See Implementation
Read a chunk of bytes from the file from the given offset, into the provided array