x = (1==1?12:11);
printf("%d\n", x);
x = (1==0?12:11);
printf("%d\n", x);