A simple Paxos implementation in C++