The text 434bc8587e08, as Debian 12 (Bookworm) shipped it.
Get number of available processes sets
MPI_Session_get_num_psets(3) on Linux now
