MPI_File_read_at.openmpi(3) on Linux

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

Reads a file at an explicitly specified offset (blocking, noncollective).