MPI_File_get_position_shared.openmpi(3) on Linux

The text 57780d1b6442, as Debian 10 (Buster) shipped it.

Returns the current position of the shared file pointer.