int main(void) {
  DDRB |=  (1 << PORTB2); //Define OCR1B as Output (pin number arduino: 10)
  OCR1A = 4000;
  OCR1B = 1000;
  TCCR1A |= (1 << COM1A0) | (1 << COM1B1) | (1 << WGM10); // PB2: output, PWM mode 9
  TCCR1B |= (1 << CS10) | (1 << CS11) | (1 << WGM13);// prescaler=64, mode 9
  while (1) {
  }
}