Source position: libgmp.pp line 187
type Tgmp_randalg_t = (
GMP_RAND_ALG_DEFAULT = 0,
GMP_RAND_ALG_LC = GMP_RAND_ALG_DEFAULT
);