MPI_File_get_size(3) on Linux

The text 19b81209ee3d, as Debian 6.0 (Squeeze), Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody) shipped it.

Returns the file size