#include <immintrin.h>
int main(int argc, char* argv[])
{
	__m256i x;
	x=_mm256_add_epi64 (x,x);
	return 0;
}