FSM sample - wrap state-transition definition