[Boost-users] [statechart] completion event