The text 7768f25a6a5d, as Debian 10 (Buster) shipped it.
Synchronization between MPI processes in a group
MPI_Barrier.openmpi(3) on Linux now
