int *x0;
double *x1;
int x2;
int xarray0[17];
int xarray1[17];
int xarray2[];
int xarray3[17];