extern long *vadd(long *, long *, long);
long a[]={7,11,13};
long b[]={23,42,5};
int i;
for(i=0; i<3; i++) {
	printf("a[%i]: %d, b[%i]: %d\n", i, a[i], i, b[i]);
}
int ret = vadd(a,b,2)==a;
for(i=0; i<3; i++) {
	printf("a[%i]: %d, b[%i]: %d\n", i, a[i], i, b[i]);
}
RET(ret &&
    a[0]==30 && a[1]==53 && a[2]==13 &&
    b[0]==23 && b[1]==42 && b[2]==5);