additional necessary files for state machine