1#ifndef NO_LABEL_VALUES
2x (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}
11main ()
12{
13  if (x (0) != 2 || x (1) != 3 || x (2) != 5)
14    abort();
15  exit(0);
16}
17#else
18main(){ exit (0); }
19#endif
20