The text 69c3bfcfb31b, as Debian 12 (Bookworm) shipped it.
Get group from a session processes set
MPI_Group_from_session_pset(3) on Linux now
