1 #include <stdlib.h>
2 
3 extern int counter;
4 
5 void
foo(void)6 foo (void)
7 {
8   counter++;
9 }
10 
11 void
bar(void)12 bar (void)
13 {
14   abort ();
15 }
16