Set machine state after IO