void setup() {
  pinMode(9, INPUT);
  pinMode(10, OUTPUT);
  pinMode(13, OUTPUT);

  digitalWrite(10, HIGH);
}

void loop() {
  digitalWrite(13, !digitalRead(9));
}