fsm_defΒΆ