[boost] [statechart] Decoding GUI events