FSM support