void vector_add(int* a, int* b, int* c)
{
  for (int i = 0; i < 1000; i++) {
    c[i] = a[i] + b[i];
  }
}