MPI_Comm_size.openmpi(3) on Linux

The text 083b2b091ce4, as Debian 9 (Stretch) shipped it.

Returns the size of the group associated with a communicator.

MPI_Comm_size.openmpi(3) on Linux now