Adding IntStateMachine