Re: [boost] [statechart] Decoding GUI events