MPI_File_get_position.openmpi(3) on Linux

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

Returns the current position of the individual file pointer.