Create paxos.c