1extern void abort (void);
2
3static void something();
4
5int main()
6{
7  something(-1);
8  return 0;
9}
10
11static void something(int i)
12{
13  if (i != -1)
14    abort ();
15}
16