ReplicatedStateMachineDemo now works