History mini-gmp/tests/t-cmp_d.c