fsm_utilities
