• history_mode : boost::statechart
• reaction_result : boost::statechart::detail