The text 02c472e67cc1, as Debian 7 (Wheezy) shipped it.
Returns the size of a group.
MPI_Group_size(3) on Linux now
