A toy implementation to the Paxos protocol.