Simplify FSM running example