int x;
printf("%d",x);