#include<stdio.h>
#include<sys/time.h>
#define ARRAY_SIZE 10000

extern void vector_add(int* a, int* b, int* c);

int main(int argc, char** argv)
{
  int a[ARRAY_SIZE];
  int b[ARRAY_SIZE];
  int c[ARRAY_SIZE]; 
  int i;
  struct timeval start, end;
  
  for(i = 0; i < ARRAY_SIZE; i++) {
    a[i] = rand();
    b[i] = rand();
  }
  
  printf("Starting timer\n");
  gettimeofday(&start, NULL);
  
  for(i=0; i < 100000; i++) {
    vector_add(c, a, b);
  }

  gettimeofday(&end, NULL);
  printf("Stopping timer\n");
  float microseconds = ((end.tv_sec - start.tv_sec) * 1000000.0) + (end.tv_usec - start.tv_usec);
  printf("%s: %f seconds\n", argv[0], microseconds / 1000000.0);
  return 0;
}