1 #ifndef NO_LABEL_VALUES
x(int i)2 x (int i)
3 {
4   void *j[] = {&&x, &&y, &&z};
5   goto *j[i];
6  x:return 2;
7  y:return 3;
8  z:return 5;
9 
10 }
main()11 main ()
12 {
13   if (x (0) != 2 || x (1) != 3 || x (2) != 5)
14     abort();
15   exit(0);
16 }
17 #else
main()18 main(){ exit (0); }
19 #endif
20