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