rec/fsm
