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