The text a4241be1e793, as Debian 12 (Bookworm) shipped it.
Add an MPI error code to an MPI error class
MPI_Add_error_code(3) on Linux now
