@stephenmathieson, there, `file_size` returns a negative number if `errno` has been set.