1  extern void abort (void);
       2  
       3  int f(unsigned int x)
       4  {
       5      return ((int)x) % 4;
       6  }
       7  
       8  int main()
       9  {
      10    if (f(-1) != -1)
      11      abort ();
      12    return 0;
      13  }