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