OPENSSL_rdtsc
if ((state.seed = OPENSSL_rdtsc()) == 0) {
uint32_t OPENSSL_rdtsc(void);
c = (unsigned char)(OPENSSL_rdtsc() & 0xFF);
uint64_t res = OPENSSL_rdtsc();