[PPL-devel] Re: Segmentation fault in mpz_ui_pow_ui