#include <wmmintrin.h>
int main(int argc, char* argv[])
{
__m128i x;
x=_mm_clmulepi64_si128(x,x,0x11);
return 0;
}