sig
  type randstate_t
  and randalg_t = GMP_RAND_ALG_LC of int
  val randinit : Gmp.RNG.randalg_t -> Gmp.RNG.randstate_t
  val default : Gmp.RNG.randstate_t
end