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