sig
  type skelState = VIRGIN | CONFIGURED | ACTIVATED
  class skeleton :
    object
      method activate : unit
      method get_state : unit -> Skeleton.skelState
    end
end