Re: [Boost-users] [boost-users][StateChart] failure during termination