module StateMachine