MPI_File_write_ordered.openmpi(3) on Linux

The text 8cc254fcb1fa, as Debian 11 (Bullseye) shipped it.

Writes a file at a location specified by a shared file pointer (blocking, collective).