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