public void changeState(State nstate) { cwrite("Changing state to: " + nstate.ToString()); mainModule.changeState(nstate); }