The text 04c50cca23cc, as Debian 10 (Buster) shipped it.
Returns the difference between addr1 and addr2
MPI_Aint_diff(3) on Linux now
