int add_count = 0;

void add_vec(int *x, int *y, int *z, int n) {
  add_count++;

  for (int i = 0; i < n; i++) {
    z[i] = x[i] + y[i];
  }
}