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