classic paxos implementation in lua