sig
  type handle
  type t = stored_nodeid
  val seed_value : t
  val build_gen : t -> handle
  val new_value : handle -> t
end