typedef unsigned long long cycle_t;

void clock_stop(void);
void clock_start(void);
cycle_t get_total_clock(void);