MPI_File_write_ordered.openmpi(3) on Linux

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

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