sig
  class virtual skeleton : Interact.skeleton
  val make : unit -> Testinter.skeleton
end