The text db48ccf82765, as Debian 12 (Bookworm) shipped it.
Returns the size of a group.
MPI_Group_size.openmpi(3) on Linux now
