MPI_Group_translate_ranks(3) on Linux

The text 582f1280be52, as Debian 3.0 (Woody) shipped it.

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