void addvector(int *r, const int *a, const int *b, unsigned int len);