finite_statemachin_example_jun