The size of the file in bytes and whether it could be read. The position does not change.
file_length :: (file: File) -> (s64, bool)