1 typedef unsigned int u32;
   2 typedef u32 __attribute__((vector_size(16))) sse128_t;
   3 
   4 /*
   5  * check-name: attribute vector_size
   6  */
   7