#include <stdlib.h>

void addvector(int *r, const int* a, const int *b, size_t len)
{
  size_t i;
  
  for(i=0;i<len;i++)
    r[i] = a[i] + b[i];
}