sig
  type label = int
  type t = int
  val create : 'a -> 'a
  val label : 'a -> 'a
end