1f (x, y)
2{
3  if (x % y != 0)
4    abort ();
5}
6
7main ()
8{
9  f (-5, 5);
10  exit (0);
11}
12