MPI_Group_intersection.openmpi(3) on Linux

The text 7009ffdcd11a, as Debian 9 (Stretch) shipped it.

Produces a group at the intersection of two existing groups.