Changed paxos.c