public Paxos(int port)
{
pro.__ctor(new BigInteger(-1), 0);
acp.__ctor(0);
lrn.__ctor();
BigInteger x = new BigInteger(replicas);
int y;
lrn.Configure(x);
pro.Configure(x, out x, out y);
this.server = new Server(this, port);
this.client = new Client(this, this.server);
localhost = new IPEndPoint(IPAddress.Loopback, server.port);
peers.Add(localhost);
proposers.Add(localhost);
acceptors.Add(localhost);
learners.Add(localhost);
}