1void noret (void) __attribute__ ((noreturn));
2int foo (int, char **);
3char *a, *b;
4int d;
5
6int
7main (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}
29