Module fsm_example
Behaviour:
plain_fsm
.