MPI_File_write_at.openmpi(3) on Linux

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

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