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