The text 0feefe077e2c, as Debian 10 (Buster) shipped it.
Detach memory from a dynamic window
MPI_Win_detach(3) on Linux now
