MPI_Group_translate_ranks(3) on Linux

The text 0b19ece6a40c, as Debian 6.0 (Squeeze) shipped it.

Translates the ranks of processes in one group to those in another group.