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