Boost.org statechart module