MPI_File_get_position.openmpi(3) on Linux

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

Returns the current position of the individual file pointer.