#include <stdio.h>
typedef float v4sf __attribute__ ((vector_size(16))); // vector of four single floats

int main()
{
  v4sf a = {1,2,3,4};
  v4sf b = {5,6,7,8};
  v4sf c;
  for (int i=0;i<1000000;i++)
  c += a + b;

  printf("%f, %f, %f, %f \n", c[0], c[1], c[2], c[3]);
  printf("size of vector c=%lu\n",sizeof(c));
}