The position of the next read or write, in bytes from the start of the file, and whether it could be read. A closed file gives (0, false).
(0, false)
file_current_position :: (f: File) -> (s64, bool)