MPI_File_write.openmpi(3) on Linux

The text f9153d323dec, as Debian 10 (Buster) shipped it.

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