Re: [Boost-users] [statechart] forward_event()