Experimenting with lightweight FSM