1  extern void abort (void);
       2  int i;
       3  int main()
       4  {
       5    int b = i != 0;
       6    int c = ~b;
       7    if (c != -1)
       8      abort ();
       9    return 0;
      10  }