Simulation of Basic Paxos Algorithm in Orc