gmp_mpfr_sys::mpfr
pub unsafe extern fn __gmp_randinit(arg1: gmp_randstate_t, arg2: gmp_randalg_t, ...)