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