MPI_File_get_position.openmpi(3) on Linux

The text e3dab1b742cc, as Debian 8 (Jessie) shipped it.

Returns the current position of the individual file pointer.