MPI_File_write.openmpi(3) on Linux

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

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