typedef int vec16 __attribute__ ((vector_size (16)));

main()
{
  volatile __uint128_t r128;
  volatile __uint128_t res128[8];
  volatile vec16 *p = (vec16*)&r128, *res=(vec16*)res128;

  r128=128;
  *res128 = 127;


  //res[0] = p[0] | p[1] | p[2] | p[3] | p[4] | p[5] | p[6] | p[7] | p[8] | p[9] | p[10] | p[11] | p[12] | p[13] | p[14] | p[15] ;


  res[0] = p[0] | p[1];
  res[1] = p[2] | p[3],

  res[0] |= res[1];

  return 255;
}