void timer1_ctc_init() {
    DDRB |= (1 << PB1);
    // Configure Timer1 in CTC mode
    TCCR1A = (1 << COM1A0); // Toggle OC1A on Compare Match
    TCCR1B = (1 << WGM12) | (1 << CS11) | (1 << CS10);
    OCR1A = 62499;//23437;//15624;
}

int main(void) {
    timer1_ctc_init();
    while (1) {
      //
    }
    return 0;
}