[Boost-users] Boost statechart