#define ARRAY_SIZE 10000

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