My practice implementation of the paxos algorithm in C.