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