An extensional Paxos implementation in C