Source position: libgmp.pp line 251
var mp_randseed: procedure(
para1: Tgmp_randstate_t;
para2: Tmpz_srcptr
);