void calibrateTimer(void);
void startTimer(uint8_t granularity);
uint64_t stopTimer(void);
void calibrateTimer(void);
void startTimer(uint8_t granularity);
uint64_t stopTimer(void);
void print_time_P(PGM_P s, uint64_t t);
void print_overhead(void);
void print_time_P(PGM_P s, uint64_t t);
void print_overhead(void);