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