MPI_Group_range_excl.openmpi(3) on Linux

The text ad2c52094cf0, as Debian 12 (Bookworm) shipped it.

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