A prototype implementation of "Paxos Made Moderately Complex".