History tests/mpz/logic.c