1 void func(int, int);
2 
main()3 int main()
4 {
5         int x = 7;
6         func(!x, !7);
7 	exit (0);
8 }
9 
func(int x,int y)10 void func(int x, int y)
11 {
12         if (x == y)
13                 return;
14         else
15                 abort ();
16 }
17