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