Symbol: group_fsm