void do_nothing(double x[], int sizeOfX) {
  int index;
  for(index=0; index<sizeOfX; index++)  x[index] = 1;
}