void setup() {
  // 62500 Hz
  TCCR1A &= 0xE0 | 1;
  TCCR1B &= 0xE0 | 0x09;
  analogWrite(9, 85);
}

void loop() {
}