Re: [Boost-users] non-deterministic state diagram