Create paxos.orc