Should we add to the documentation of mpz_roinit_n (mpz_t x, const mp_limb_t *xp, mp_size_t xs) that the array pointed by xp must have at least a readable limb even if xs==0? Regards, m -- http://bodrato.it/papers/