1typedef __attribute__((aligned(16)))
2struct {
3  unsigned long long w[3];
4} UINT192;
5
6UINT192 bid_Kx192[32];
7
8extern void abort (void);
9
10int main()
11{
12  int i = 0;
13  unsigned long x = 0;
14  for (i = 0; i < 32; ++i)
15    bid_Kx192[i].w[1] = i == 1;
16  for (i = 0; i < 32; ++i)
17    x += bid_Kx192[1].w[1];
18  if (x != 32)
19    abort ();
20  return 0;
21}
22