module StateManager::DSL