1  void noret (void) __attribute__ ((noreturn));
       2  int foo (int, char **);
       3  char *a, *b;
       4  int d;
       5  
       6  int
       7  main (int argc, char **argv)
       8  {
       9    register int c;
      10  
      11    d = 1;
      12    while ((c = foo (argc, argv)) != -1)
      13      switch (c) {
      14      case 's':
      15      case 'c':
      16      case 'f':
      17        a = b;
      18        break;
      19      case 'v':
      20        d = 1;
      21        break;
      22      case 'V':
      23        d = 0;
      24        break;
      25      }
      26    noret ();
      27    return 0;
      28  }