The text a441930f87e7, as Debian 12 (Bookworm) shipped it.
Returns the difference between addr1 and addr2
MPI_Aint_diff(3) on Linux now
