Go port of libpaxos2.