public IntVector(IntVector cp)
{
numElements = cp.numElements;
elements = new int[cp.elements.Length];
Array.Copy(cp.elements, elements, numElements);
}
public FreeList(VarVector vars)
{
free_list = new IntVector(16);
variables = vars;
}