gmp_mpfr_sys::mpfr
pub unsafe extern fn __gmpz_urandomm(arg1: mpz_ptr, arg2: gmp_randstate_t, arg3: mpz_srcptr)