#include <stdio.h>

typedef int vector;

void v×v(vector v1, vector v2) {
  // dostuff
}


int main(void){
  vector v1 = 1, v2 = 2;
  v×v(v1, v2);
  return 0;
}