MPI_File_get_position.openmpi(3) on Linux

The text 35789d174d4d, as Debian 12 (Bookworm) shipped it.

Returns the current position of the individual file pointer.