#define mpz_init_set_str __gmpz_init_set_str