sig
  type t = int32
  and state = t
  val genrand : state -> t
  val min : t
  val max : t
end