Examples of FSM for FSM framework test