Paxos in C