• result : boost::statechart