The text b308fa4dc422, as Debian 9 (Stretch) shipped it.
Returns the current size of the file.
MPI_File_get_size.openmpi(3) on Linux now