hi!
typedef __attribute__((ext_vector_type(2))) int * int2;
produces an error but shouldn't this be a pointer to a vector of 2 elements instead
of a vector of two pointers?
when doing
const char* str;
we also get a pointer to a const character
-Jochen