int mul_count = 0;

void mul_vec(int *a, int *b, int *c, int n) {
  mul_count++;
  for (int i = 0; i < n; i++) {
    c[i] = a[i] * b[i];
    mul_count++;
  }
}