x = [@typeof(int)];
printf("%d\n", sizeof(x[0]));