Manhattan Paxos implemented in C