sig type gen = int Pervasives.ref val create : unit -> Util.Flag.gen val get_new : Util.Flag.gen -> int end