#include #include "intervaltimer.h" void intervaltimer_init(void) { TCCR1A = 0; TCCR1B = (1<