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