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