#include "vec.h"
#include <stdio.h>

int x[3] = {1, 2, 3};
int y[3] = {4, 5, 6};
int z[3];

int main() {
  add_vec(x, y, z, 3);
  printf("z = [%d, %d, %d]", z[0], z[1], z[2]);
  return 0;
}