MPI_Group_range_excl.openmpi(3) on Linux

The text a644467d7a48, as Debian 8 (Jessie) shipped it.

Produces a group by excluding ranges of processes from an existing group.