paxos stub