The text 3d63d22bf5f5, as Debian 10 (Buster) shipped it.
Non-blocking receive for a matched message
MPI_Imrecv.openmpi(3) on Linux now
