#ifndef TIMER_H #define TIMER_H #include <stdint.h> extern void setupTimer(); extern void sleep(uint16_t millis); #endif