1  typedef int V __attribute__ ((vector_size (2 * sizeof (int))));
       2  V
       3  foo (int t)
       4  {
       5    if (t < 10)
       6      return (V){1, 1};
       7    V v = { };
       8    return v - foo(t - 1);
       9  }