Finite_state_machine.S