Paxos in OCaml