The text 7e2d4a477a4b, as Debian 10 (Buster) shipped it.
Returns the size of a group.
MPI_Group_size.openmpi(3) on Linux now
