pseudocode for Paxos players