MPI_File_get_position_shared.openmpi(3) on Linux

The text 642e6915f1cc, as Debian 8 (Jessie) shipped it.

Returns the current position of the shared file pointer.