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