Module fsm_example

Behaviour: plain_fsm.