#include<stdint.h>
uint32_t OPENSSL_ia32cap_P[4] = {0,0,0x80100,0}; // have adx