The text 940342e37825, as Debian 9 (Stretch) shipped it.
Returns the size of a group.
MPI_Group_size.openmpi(3) on Linux now
