1typedef int v2si __attribute__((__vector_size__(8)));
2
3v2si
4f (int x)
5{
6  return (v2si) { (__INTPTR_TYPE__) "", x };
7}
8