extern long *vadd(long *, long *, long);
long a[]={7,11,13};
long b[]={23,42,5};
-RET(a==vadd(a,b,2) &&
+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);