sig type t = int val new_generator : int -> unit -> int end