paxos: init