[boost] Finite state machine