1int a[2] = { 18, 6 };
2
3int main ()
4{
5  int b = (-3 * a[0] -3 * a[1]) / 12;
6  if (b != -6)
7    abort ();
8  exit (0);
9}
10