MPI_File_read.openmpi(3) on Linux

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

Reads a file starting at the location specified by the individual file pointer (blocking, noncollective).