MPI_File_write_at.openmpi(3) on Linux

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

Writes a file at an explicitly specified offset (blocking, noncollective).