MPI_File_get_position_shared.openmpi(3) on Linux

The text b31497dd79e4, as Debian 11 (Bullseye) shipped it.

Returns the current position of the shared file pointer.