void enlarge(int *array, int size) {
    int *dbl = new int[size*2];
    for (int i = 0; i < size*2; i++)
       dbl[i] = array[i];
    delete array;
    array = dbl;
}