vrPaxos working copy