int *x0;
float **x1;
#include "var1.h"
int xarray0[17];
int xarray1[];
int xarray2[18];
int xarray3[18];