/boost/msm/