Implement paxos.
Implement FileStream.