#include <stdio.h>

typedef float	v4sf  __attribute__ ((vector_size(16),aligned(16)));
typedef int	v4i   __attribute__ ((vector_size(sizeof(int)*4)));

int main() {
    const v4sf v = { 1.2f ,2.2f ,3.3f, 4.4f };
    printf("v4sf v = { %f, %f, %f, %f }\n", ((float*)&v)[0],((float*)&v)[1],((float*)&v)[2],((float*)&v)[3]);
    const v4i vRes = (v4i) v;
    printf("v4i vRes = { %d, %d, %d, %d }\n", ((int*)&vRes)[0],((int*)&vRes)[1],((int*)&vRes)[2],((int*)&vRes)[3]);
}