typedef unsigned long long cycles;

static inline cycles read_cyccounter()
{
  cycles result;
  asm volatile ("rdtsc" : "=A" (result));
  return result;
}