1 2 3
typedef int t; f(t y){switch(y){case 1:return 1;}return 0;} main(){if(f((t)1)!=1)abort();exit(0);}