Simple benchmarking library for x86_64 using the CPU cycle counter