1 #include "bench.h"
2 
3 uint32_t start_time, stop_time, cycle_count;
4